Graham Nelson
|
8a729ce2d3
|
Web presentation update
|
2022-11-10 22:34:19 +00:00 |
|
Graham Nelson
|
a1aa7642e9
|
Documented and rounded out some debugging features
|
2022-04-18 15:46:46 +01:00 |
|
Graham Nelson
|
994d29968c
|
Better incremental kit-building
|
2022-04-05 12:14:27 +01:00 |
|
Graham Nelson
|
cba72a3537
|
Improved source website
|
2022-04-04 18:31:44 +01:00 |
|
Graham Nelson
|
623d5e340c
|
Wrote basic calculus-test tool
|
2020-08-22 12:59:50 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
608e679645
|
Refactored new literal and new relation sentences
|
2020-08-04 17:16:11 +01:00 |
|
Graham Nelson
|
c6766f6f95
|
Improved testing of assertion VP parsing
|
2020-07-27 13:26:59 +01:00 |
|
Graham Nelson
|
89d746496b
|
Refactored pronouns, defective nouns and linguistics module testing
|
2020-07-19 18:31:23 +01:00 |
|