Thun/thun
Simon Forman 47ae7b2328 More readable genrec.
Explicit quoting is slightly more overhead but worth it I think to show what's going on more clearly.
2019-07-16 09:53:48 -07:00
..
compiler.pl Some docs, and a thing to print out the dictionary after compilation. 2019-05-03 15:21:06 -07:00
defs.txt Add bool function to mimic Python semantics. 2019-07-16 08:41:28 -07:00
metalogical.pl See https://www.metalevel.at/acomip/ 2019-05-06 12:47:30 -07:00
thun.pl More readable genrec. 2019-07-16 09:53:48 -07:00