1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-08 01:54:21 +03:00
Commit graph

11 commits

Author SHA1 Message Date
Graham Nelson ee39beb662 Cosmetic improvements 2021-03-30 10:50:04 +01:00
Graham Nelson 7c27b94542 Finally completed draft of imperative definitions 2021-03-29 22:53:01 +01:00
Graham Nelson 1f14f0b155 Imperative definition families 2021-03-25 23:20:37 +00:00
Graham Nelson 6fa43d8caa Improved tables and equations 2021-02-07 12:44:02 +00:00
Graham Nelson b4a6775fa6 Reorganised the values module 2021-02-06 18:00:34 +00:00
Graham Nelson 43bbcdbaf4 Completed assertions module 2021-02-05 00:15:21 +00:00
Graham Nelson 180d254ca7 Tidying up calculus module 2020-09-02 23:24:10 +01:00
Graham Nelson 515b130748 Pared calculus module down to essential predicates only 2020-08-29 09:33:21 +01:00
Graham Nelson c4ae8922c2 Further reorganisation 2020-08-26 23:12:58 +01:00
Graham Nelson dfcc5ee277 Completed fragmentation 2020-08-26 10:52:50 +01:00
Graham Nelson 67cb9a9f1e Began fragmentation of the core 2020-08-25 22:27:06 +01:00