555 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Stephen Chang	063c8fbbb8	add let to stlc	2014-08-05 14:21:47 -04:00
Stephen Chang	b41361a514	switch to parameter for gamma	2014-08-05 13:34:43 -04:00
Stephen Chang	d602f445aa	add multi arg lam, app, and +	2014-08-04 18:49:54 -04:00
Stephen Chang	10b870085a	add stx-utils	2014-08-04 18:49:37 -04:00
Stephen Chang	8f37dd7a34	add stlc	2014-08-01 18:51:35 -04:00