Graham Nelson 22d2c3d8bd Moved sentence conversion into calculus module		2020-08-25 21:47:14 +01:00
..
Chapter 1	Moved sentence conversion into calculus module	2020-08-25 21:47:14 +01:00
Tests	Began refactoring unary predicates	2020-08-24 00:22:48 +01:00
.gitignore	First steps towards a calculus module	2020-08-19 23:36:18 +01:00
Contents.w	Further progress towards calculus module	2020-08-21 22:38:20 +01:00