Simon Forman 22b34aba05 Using partial deduction to inline literals, functions, and combinators.		2019-08-22 15:45:24 -07:00
..
junk	Using partial deduction to inline literals, functions, and combinators.	2019-08-22 15:45:24 -07:00
DCG_basics.pl	minor cleanup	2019-08-13 11:58:31 -07:00
Makefile	truly fork, sort of	2019-08-18 10:53:25 -07:00
defs.pl	truly fork, sort of	2019-08-18 10:53:25 -07:00
defs.txt	reintroduce definition of fork; it doesn't shadow func(fork, ...).	2019-08-18 11:47:48 -07:00
fork.pl	minor cleanup	2019-08-20 22:00:27 -07:00
main.pl	minor cleanup	2019-08-20 22:00:27 -07:00
math.pl	minor cleanup	2019-08-20 22:00:27 -07:00
meta-defs.pl	Copyright notices.	2019-08-11 19:41:11 -07:00
meta-math.pl	minor cleanup	2019-08-20 22:00:27 -07:00
parser.pl	minor cleanup	2019-08-20 22:00:27 -07:00
thun.pl	small func recognizes [] and [X].	2019-08-19 22:02:06 -07:00