William J. Bowman fa9389ee7f Hacks to make cur work in the REPL ... Look I don't want to talk about it, but now you can use Cur in DrRacket. Closes #18		2015-09-23 21:35:27 -04:00
..
stdlib	Added a few examples to tactic docs	2015-09-23 16:40:23 -04:00
cur.scrbl	Documented the OLL	2015-09-23 17:58:54 -04:00
curnel.scrbl	Hacks to make cur work in the REPL	2015-09-23 21:35:27 -04:00
defs.rkt	Fixed scribbled inline TODOs	2015-09-23 18:11:08 -04:00
oll.scrbl	Fixed typo	2015-09-23 18:08:15 -04:00
reflection.scrbl	Styles tweaks	2015-09-22 23:32:02 -04:00
stdlib.scrbl	Started documenting the tactics library	2015-09-23 00:11:21 -04:00