Commit Graph

3 Commits

Author SHA1 Message Date
Stephen Chang
fcd9a83d9c minor cleanup 2017-02-08 13:05:59 -05:00
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
eb2e012e9d use :: key in turnstile/fomega-no-reuse; simplify turnstile/fomega 2017-02-03 16:46:41 -05:00