Simon Forman 178e58f8bd Load embedded defs.txt, remove ≡ stuff. ... I like that ≡ but I also like consistency.		2023-02-14 10:07:26 -08:00
..
C	regularize defs.txt; new andies.	2023-02-14 08:27:17 -08:00
GNUProlog	initialization/1 FTW!	2023-02-12 20:39:26 -08:00
Nim	Make /\ and \/ check that their args are Booleans.	2023-02-14 08:40:32 -08:00
Ocaml	Minor cleanup.	2022-09-28 22:07:28 -07:00
Python	Load embedded defs.txt, remove ≡ stuff.	2023-02-14 10:07:26 -08:00
oldlog	Improve compiling of step combinator.	2022-09-28 18:18:20 -07:00
defs.txt	Make /\ and \/ check that their args are Booleans.	2023-02-14 08:40:32 -08:00