William J. Bowman 7b10648eb9 Added optional arg to type-infer/syn for local env ... Added undocumented feature to type-infer/syn. An optional argument can be used to locally extend gamma attempting to infer the type.		2016-01-09 00:20:37 -05:00
..
redex-core.rkt	Fixed broken test caused by fix to Π dyn. sem.	2016-01-08 20:06:00 -05:00
redex-lang.rkt	Added optional arg to type-infer/syn for local env	2016-01-09 00:20:37 -05:00