ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-05 16:44:21 +03:00
Code Issues Projects Releases Wiki Activity
inform7/services/calculus-module
History
Graham Nelson c471ee140e Started in on compiling propositions
2021-04-09 10:09:44 +01:00
..
Chapter 1 Tidying up calculus module 2020-09-02 23:24:10 +01:00
Chapter 2 Tidying up calculus module 2020-09-02 23:24:10 +01:00
Chapter 3 Tidied up atom and schema compilation 2021-04-09 00:04:34 +01:00
Chapter 4 Started in on compiling propositions 2021-04-09 10:09:44 +01:00
Chapter 5 Started in on compiling propositions 2021-04-09 10:09:44 +01:00
Figures Pared calculus module down to essential predicates only 2020-08-29 09:33:21 +01:00
Preliminaries Started in on compiling propositions 2021-04-09 10:09:44 +01:00
Contents.w Clarified sentence conversions 2021-02-03 09:32:42 +00:00