ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-08 18:14:21 +03:00
Code Issues Projects Releases Wiki Activity
1695 commits 2 branches 3 tags 159 MiB
Commit graph

17 commits

Author SHA1 Message Date
Andrew 6f4fecec72 typos in services/*/*.w 2022-05-01 08:25:50 -05:00
Graham Nelson cba72a3537 Improved source website 2022-04-04 18:31:44 +01:00
Graham Nelson c471ee140e Started in on compiling propositions 2021-04-09 10:09:44 +01:00
Graham Nelson 7f4507efe5 Completed work on calculus module 2021-02-04 16:35:45 +00:00
Graham Nelson 4994386ea4 Improved discussion of simplifications 2021-02-03 22:45:53 +00:00
Graham Nelson e0a25411c8 Completed refactor of binary predicates 2021-02-02 13:55:27 +00:00
Graham Nelson 180d254ca7 Tidying up calculus module 2020-09-02 23:24:10 +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 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 24de8dd671 First steps towards a calculus module 2020-08-19 23:36:18 +01:00