Commit Graph

559 Commits

Author SHA1 Message Date
Stephen Chang
a906d121f9 add lambda internal begin test 2014-08-05 15:28:11 -04:00
Stephen Chang
28cb9b5107 add begin to stlc 2014-08-05 15:27:48 -04:00
Stephen Chang
d58c8b0281 add null? 2014-08-05 14:46:59 -04:00
Stephen Chang
0a15ae4bb6 add (non parametric) lists to stlc 2014-08-05 14:40:41 -04:00
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