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
..
sugar.scrbl	Added single step evaluation abilities. Closes #27	2015-09-29 15:41:21 -04:00
tactics.scrbl	Added a few examples to tactic docs	2015-09-23 16:40:23 -04:00