William J. Bowman cf6f81fbd4 Added single step evaluation abilities. Closes #27 ... * Added single step meta-function to core * Expose step/syn in redex-lang * Added macro to sugar for convenience use * Updated relevant docs (also fixed bug in reflection docs)		2015-09-29 15:41:21 -04:00
..
stdlib	Added single step evaluation abilities. Closes #27	2015-09-29 15:41:21 -04:00
cur.scrbl	Documented the OLL	2015-09-23 17:58:54 -04:00
curnel.scrbl	Expanded elim docs	2015-09-25 18:24:39 -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	Added single step evaluation abilities. Closes #27	2015-09-29 15:41:21 -04:00
stdlib.scrbl	Documented sugar	2015-09-24 17:51:38 -04:00