| .. |
|
mlish
|
fix mlish chameneos test again
|
2017-02-17 12:09:58 -05:00 |
|
rosette
|
split out a define-binding-type from define-type-constructor
|
2016-10-13 15:20:30 -04:00 |
|
dep-tests.rkt
|
start dependent types example
|
2017-03-10 17:03:30 -05:00 |
|
exist-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
ext-stlc-tests.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
fomega-no-reuse-tests-old.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
fomega-no-reuse-tests.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
fomega-tests.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
fomega2-tests.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
fomega3-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
fsub-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
linear-var-assign-tests.rkt
|
add current-var-assign parameter (#12)
|
2017-07-07 02:20:36 -04:00 |
|
mlish-tests.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
pat-expander-tests-def.rkt
|
add ~typecheck and ~⊢ pattern expanders (#6)
|
2017-04-17 12:41:02 -07:00 |
|
pat-expander-tests.rkt
|
add ~typecheck and ~⊢ pattern expanders (#6)
|
2017-04-17 12:41:02 -07:00 |
|
rackunit-kindchecking.rkt
|
completely separate type and kind api, etc; generalize type environment
|
2017-02-08 13:07:24 -05:00 |
|
rackunit-typechecking.rkt
|
start dependent types example
|
2017-03-10 17:03:30 -05:00 |
|
stlc-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+box-tests.rkt
|
start copying tests over to macrotypes/examples/tests
|
2016-06-30 17:42:23 -04:00 |
|
stlc+cons-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+effect-tests.rkt
|
start copying tests over to macrotypes/examples/tests
|
2016-06-30 17:42:23 -04:00 |
|
stlc+lit-tests.rkt
|
split def-kinded-stx from def-typed-stx; split any-type? from type?
|
2016-10-14 14:16:49 -04:00 |
|
stlc+rec-iso-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+reco+sub-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+reco+var-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+sub-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+tup-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
stlc+union.rkt
|
fix union collapsing (#9)
|
2017-04-25 13:35:47 -07:00 |
|
stlc+union+case.rkt
|
fix union collapsing (#9)
|
2017-04-25 13:35:47 -07:00 |
|
sysf-tests.rkt
|
rename typed-lang-builder -> turnstile
|
2016-06-28 13:35:51 -04:00 |
|
tlb-infer-tests.rkt
|
infer instantiations for argument positions, add define/rec
|
2016-06-28 14:03:12 -04:00 |
|
trivial-test.rkt
|
start Bens "trivial" example
|
2016-10-18 17:08:25 -04:00 |
9d3c55d02b