Stephen Chang
|
1a3f208903
|
all tests passing
- fixed current-ev problem
- forgot to update default define-typed-syntax in turnstile.rkt
with parameterize
|
2017-02-07 10:58:39 -05:00 |
|
Stephen Chang
|
33c09db4d4
|
turnstile/fomega2-tests passing
|
2017-02-03 11:06:42 -05:00 |
|
Stephen Chang
|
e9cc782aeb
|
STUCK: infer must know about sep
|
2017-01-30 10:28:22 -05:00 |
|
Stephen Chang
|
6618f0e038
|
remove dependency on typed racket and sweet-exp
|
2017-01-25 10:47:42 -05:00 |
|
Stephen Chang
|
ba1c954b96
|
start Bens "trivial" example
|
2016-10-18 17:08:25 -04:00 |
|