David Kinder 521e590618 First attempt at moving from wchar_t wide strings to 32-bit strings		2023-09-05 08:36:51 +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	typos in services/*/*.w	2022-05-01 08:25:50 -05:00
Propositions.w	typos in services/*/*.w	2022-05-01 08:25:50 -05:00
Terms.w	First attempt at moving from wchar_t wide strings to 32-bit strings	2023-09-05 08:36:51 +01:00
Type Check Propositions.w	Started in on compiling propositions	2021-04-09 10:09:44 +01:00