17 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	41efae7f29	Clarified sentence conversions	2021-02-03 09:32:42 +00:00
Graham Nelson	5eb8b9b8ab	Tidied up I6 schemas	2021-02-02 19:34:56 +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	b0c0bf87ea	Further post-fragmentation tidying	2020-08-27 15:50:24 +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	23ff600463	Began refactoring unary predicates	2020-08-24 00:22:48 +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	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	7d3f53cc61	Introduced binary predicate families	2020-08-20 11:50:43 +01:00
Graham Nelson	24de8dd671	First steps towards a calculus module	2020-08-19 23:36:18 +01:00

Renamed from docs/core-module/7-up.html (Browse further)