ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-18 06:54:26 +03:00
Code Issues Projects Releases Wiki Activity
inform7/services/calculus-module/Chapter 4
History
Graham Nelson 94485a2f75 Introduced adjective meaning families
2021-02-13 16:30:19 +00:00
..
Atomic Propositions.w Pared calculus module down to essential predicates only 2020-08-29 09:33:21 +01:00
Binding and Substitution.w Improved discussion of simplifications 2021-02-03 22:45:53 +00:00
Propositions.w Pared calculus module down to essential predicates only 2020-08-29 09:33:21 +01:00
Terms.w Introduced adjective meaning families 2021-02-13 16:30:19 +00:00
Type Check Propositions.w Completed work on calculus module 2021-02-04 16:35:45 +00:00