Graham Nelson
|
b789334e76
|
Added typechecking to calculus module
|
2020-08-24 19:30:28 +01:00 |
|
Graham Nelson
|
808a1305c4
|
Removed CALLING and KIND atoms
|
2020-08-24 14:57:13 +01:00 |
|
Graham Nelson
|
b41e60275f
|
Removed HERE, NOWHERE and EVERYWHERE atoms
|
2020-08-24 11:21:17 +01:00 |
|
Graham Nelson
|
991b36e26f
|
Eliminated ISAVAR, ISACONST and ISAKIND atoms
|
2020-08-24 10:34:23 +01:00 |
|
Graham Nelson
|
23ff600463
|
Began refactoring unary predicates
|
2020-08-24 00:22:48 +01:00 |
|
Graham Nelson
|
108173535b
|
Tested binding and substitution
|
2020-08-23 16:54:14 +01:00 |
|
Graham Nelson
|
107f9b2c74
|
Improved testing of terms and atoms
|
2020-08-23 12:00:56 +01:00 |
|
Graham Nelson
|
8d943adfb8
|
Further work on calculus notation
|
2020-08-22 18:52:28 +01:00 |
|
Graham Nelson
|
623d5e340c
|
Wrote basic calculus-test tool
|
2020-08-22 12:59:50 +01:00 |
|
Graham Nelson
|
a0974b1a0e
|
Enlarged calculus module
|
2020-08-21 22:58:58 +01:00 |
|
Graham Nelson
|
b2cf29137d
|
Further progress towards calculus module
|
2020-08-21 22:38:20 +01:00 |
|
Graham Nelson
|
7d3f53cc61
|
Introduced binary predicate families
|
2020-08-20 11:50:43 +01:00 |
|
Graham Nelson
|
24de8dd671
|
First steps towards a calculus module
|
2020-08-19 23:36:18 +01:00 |
|
Graham Nelson
|
568f512b3a
|
Revised Neptune language
|
2020-08-19 18:32:30 +01:00 |
|
Graham Nelson
|
f695cd7a4f
|
Further work on Neptune
|
2020-08-19 00:56:02 +01:00 |
|
Graham Nelson
|
e0cf630409
|
Rewrote Neptune files parser
|
2020-08-18 18:59:08 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
cf7f5afe51
|
Use void not nil for terminator in tupling trees
|
2020-08-12 22:59:18 +01:00 |
|
Graham Nelson
|
e4251bf5d7
|
Added variance test case
|
2020-08-12 13:07:35 +01:00 |
|
Graham Nelson
|
2a48aeb128
|
Completed Chapter 2 of kinds module
|
2020-08-12 13:05:44 +01:00 |
|
Graham Nelson
|
9a97eebe02
|
Clarified kind conformance order relation
|
2020-08-11 23:59:29 +01:00 |
|
Graham Nelson
|
ebc90ce213
|
Join and meet operations on kinds
|
2020-08-11 15:07:58 +01:00 |
|
Graham Nelson
|
81491dc4e1
|
Changed the way kinds are tested for being objects
|
2020-08-11 12:38:21 +01:00 |
|
Graham Nelson
|
83dcd79164
|
Improved kind-checking of contravariant constructors
|
2020-08-11 11:55:39 +01:00 |
|
Graham Nelson
|
4ab9cf250d
|
Further testing of kinds
|
2020-08-09 23:42:41 +01:00 |
|
Graham Nelson
|
23041df765
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
Graham Nelson
|
0e87f5b4db
|
Moved inform7 CLI from core to main section
|
2020-08-09 09:15:46 +01:00 |
|
Graham Nelson
|
dd0605493a
|
Moved kinds module to services library and added test utility
|
2020-08-08 17:40:02 +01:00 |
|
Graham Nelson
|
b716540ffd
|
Better logging of parse tree, part II
|
2020-08-07 10:39:22 +01:00 |
|
Graham Nelson
|
51c0f7c521
|
Better logging of parse tree, part I
|
2020-08-06 22:01:38 +01:00 |
|
Graham Nelson
|
5924189755
|
Added internal test cases to core module
|
2020-08-05 12:07:44 +01:00 |
|
Graham Nelson
|
a313aa1178
|
Annotated ADJECTIVE nodes by unary predicate, not adjectival phrase
|
2020-08-05 09:15:26 +01:00 |
|
Graham Nelson
|
be23559632
|
Started in on the refinery
|
2020-08-04 23:33:56 +01:00 |
|
Graham Nelson
|
368da08201
|
Completed collation of special meaning sentences
|
2020-08-04 19:39:50 +01:00 |
|
Graham Nelson
|
608e679645
|
Refactored new literal and new relation sentences
|
2020-08-04 17:16:11 +01:00 |
|
Graham Nelson
|
4760fa1202
|
Refactored rule placement requests
|
2020-08-04 00:13:50 +01:00 |
|
Graham Nelson
|
f43572a4a8
|
Re-routed requests to define by table
|
2020-08-03 23:32:17 +01:00 |
|
Graham Nelson
|
3c53a0bdb4
|
Refactored internal test cases
|
2020-08-03 18:00:35 +01:00 |
|
Graham Nelson
|
3d2acd99cc
|
Improved handling of use option sentences
|
2020-08-03 12:11:27 +01:00 |
|
Graham Nelson
|
0b901f8a47
|
Refactored translation request sentences
|
2020-08-02 23:49:31 +01:00 |
|
Graham Nelson
|
7fad605c39
|
Refactored major node passes
|
2020-08-02 19:04:24 +01:00 |
|
Graham Nelson
|
f6a2e5495f
|
Further simplified possessives
|
2020-08-02 12:35:36 +01:00 |
|
Graham Nelson
|
97a3197678
|
Refactored refinement and X of Y surgery
|
2020-08-02 10:59:03 +01:00 |
|
Graham Nelson
|
b566975119
|
Moved two surgeries into linguistics module
|
2020-08-01 17:16:48 +01:00 |
|
Graham Nelson
|
6c1cc4913b
|
Simplified anomalous handling of possessive verbs
|
2020-08-01 15:12:40 +01:00 |
|
Graham Nelson
|
17381751e8
|
Further resequencing of early compilation
|
2020-08-01 11:35:56 +01:00 |
|
Graham Nelson
|
efd193fe2e
|
Removed need for kind template delays
|
2020-07-31 11:47:30 +01:00 |
|
Graham Nelson
|
cf23bc5b18
|
Added operator verb declarations to Basic Inform
|
2020-07-31 11:24:59 +01:00 |
|
Graham Nelson
|
05d4924293
|
Further linguistic reforms
|
2020-07-31 08:19:26 +01:00 |
|
Graham Nelson
|
143f961836
|
Resequenced startup
|
2020-07-30 12:12:41 +01:00 |
|