20 commits

Author	SHA1	Message	Date
Graham Nelson	c2b1504318	Divided codegen module into new modules pipeline and final	2021-08-10 11:01:03 +01:00
Graham Nelson	9209026930	Migrated mapping to codegen	2021-06-23 00:23:35 +01:00
Graham Nelson	9a8db049b9	Began huge refactor of World index	2021-06-21 23:37:27 +01:00
Graham Nelson	d5c7c4a3e3	Further rearrangement of deckchairs	2021-05-18 22:20:35 +01:00
Graham Nelson	c471ee140e	Started in on compiling propositions	2021-04-09 10:09:44 +01:00
Graham Nelson	6f6737f319	Tidied up rule family	2021-03-27 15:21:07 +00:00
Graham Nelson	627a989e73	Completed refactor of space-time	2021-02-25 22:56:58 +00:00
Graham Nelson	4730cc2f2d	Miscellaneous work on spatial model	2021-02-25 00:15:09 +00:00
Graham Nelson	b6b68a8f9d	Make actions and parsing plugins more prominent	2021-02-24 00:17:14 +00:00
Graham Nelson	787df813d1	Moved naming plugin into knowledge module	2021-02-23 21:17:13 +00:00
Graham Nelson	8531afdb4d	Improved separation of plugins from main compiler	2021-02-23 00:25:10 +00:00
Graham Nelson	49fbd6df7d	Rebuilt bibliographic plugin	2021-02-21 18:47:27 +00:00
Graham Nelson	7a8ec51907	Completed refactor of plugins	2021-02-20 15:45:46 +00:00
Graham Nelson	caa5069ed5	Began revamp of plugins	2021-02-19 23:20:09 +00:00
Graham Nelson	3adac82a69	Clarified inference sorting	2021-02-16 19:21:06 +00:00
Graham Nelson	b2a5a56317	Finished reorganising subjects	2021-02-12 13:33:19 +00:00
Graham Nelson	fab4ab3c78	Refactored inference subjects into families with methods	2021-02-11 22:53:43 +00:00
Graham Nelson	ce1f8291b9	Began work on knowledge module	2021-02-09 21:27:52 +00:00
Graham Nelson	43bbcdbaf4	Completed assertions module	2021-02-05 00:15:21 +00:00
Graham Nelson	515b130748	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00

Renamed from docs/calculus-module/2-enah.html (Browse further)