Graham Nelson c471ee140e Started in on compiling propositions		2021-04-09 10:09:44 +01:00
..
Atomic Propositions.w	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00
Binding and Substitution.w	Completed refactor of invocations	2021-04-04 13:46:08 +01:00
Propositions.w	Began refactoring properties	2021-02-17 23:32:04 +00:00
Terms.w	Tidied up atom and schema compilation	2021-04-09 00:04:34 +01:00
Type Check Propositions.w	Started in on compiling propositions	2021-04-09 10:09:44 +01:00