4 Commits

Author	SHA1	Message	Date
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
William J. Bowman	bf867bca7f	Moved some features out of curnel ... * run is user-definable through the existing reflection features; moved to sugar. * define need not have special function support in curnel; moved to sugar. * fixed relevant documentation	2015-09-25 13:36:44 -04:00
William J. Bowman	fae24ab496	Styles tweaks ... * Types now start with a Capital letter, because. * Boolean expression no longer start with the letter b.	2015-09-22 23:32:02 -04:00
William J. Bowman	bfc72d8fd3	Documented reflection features	2015-09-22 18:18:26 -04:00