| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | .travis.yml | 25L |
| -rw-r--r-- | README.md | 17L |
| -rw-r--r-- | info.rkt | 18L |
| -rw-r--r-- | macrotypes/examples/README.md | 20L |
| -rw-r--r-- | macrotypes/examples/exist.rkt | 71L |
| -rw-r--r-- | macrotypes/examples/ext-stlc.rkt | 160L |
| -rw-r--r-- | macrotypes/examples/fomega.rkt | 119L |
| -rw-r--r-- | macrotypes/examples/fomega2.rkt | 139L |
| -rw-r--r-- | macrotypes/examples/fomega3.rkt | 34L |
| -rw-r--r-- | macrotypes/examples/fsub.rkt | 90L |
| -rw-r--r-- | macrotypes/examples/infer.rkt | 273L |
| -rw-r--r-- | macrotypes/examples/mlish+adhoc.rkt | 1731L |
| -rw-r--r-- | macrotypes/examples/mlish-do.rkt | 31L |
| -rw-r--r-- | macrotypes/examples/mlish.rkt | 1360L |
| -rw-r--r-- | macrotypes/examples/notes.txt | 397L |
| -rw-r--r-- | macrotypes/examples/stlc+box.rkt | 30L |
| -rw-r--r-- | macrotypes/examples/stlc+cons.rkt | 96L |
| -rw-r--r-- | macrotypes/examples/stlc+effect.rkt | 115L |
| -rw-r--r-- | macrotypes/examples/stlc+lit.rkt | 23L |
| -rw-r--r-- | macrotypes/examples/stlc+occurrence.rkt | 357L |
| -rw-r--r-- | macrotypes/examples/stlc+overloading.rkt | 164L |
| -rw-r--r-- | macrotypes/examples/stlc+rec-iso.rkt | 30L |
| -rw-r--r-- | macrotypes/examples/stlc+reco+sub.rkt | 48L |
| -rw-r--r-- | macrotypes/examples/stlc+reco+var.rkt | 147L |
| -rw-r--r-- | macrotypes/examples/stlc+sub.rkt | 99L |
| -rw-r--r-- | macrotypes/examples/stlc+tup.rkt | 34L |
| -rw-r--r-- | macrotypes/examples/stlc.rkt | 35L |
| -rw-r--r-- | macrotypes/examples/sysf.rkt | 24L |
| -rw-r--r-- | macrotypes/examples/tests/do-tests.rkt | 41L |
| -rw-r--r-- | macrotypes/examples/tests/exist-tests.rkt | 370L |
| -rw-r--r-- | macrotypes/examples/tests/ext-stlc-tests.rkt | 176L |
| -rw-r--r-- | macrotypes/examples/tests/fomega-tests.rkt | 236L |
| -rw-r--r-- | macrotypes/examples/tests/fomega2-tests.rkt | 206L |
| -rw-r--r-- | macrotypes/examples/tests/fomega3-tests.rkt | 200L |
| -rw-r--r-- | macrotypes/examples/tests/fsub-tests.rkt | 153L |
| -rw-r--r-- | macrotypes/examples/tests/general-tests.rkt | 42L |
| -rw-r--r-- | macrotypes/examples/tests/infer-tests.rkt | 364L |
| -rw-r--r-- | macrotypes/examples/tests/mlish-tests.rkt | 790L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/ack.mlish | 27L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/alex.mlish | 25L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/ary.mlish | 26L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/README.md | 103L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/basics-general.mlish | 59L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/basics.mlish | 370L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/basics2.mlish | 138L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/huffman.mlish | 278L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/lambda.mlish | 95L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/monad.mlish | 122L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/bg/okasaki.mlish | 1654L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/chameneos.mlish | 136L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/fannkuch.mlish | 54L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/fasta.mlish | 191L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/fibo.mlish | 22L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/find.mlish | 87L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/generic.mlish | 461L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/hash.mlish | 19L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/infer-variances.mlish | 243L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/inst.mlish | 74L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/knuc.mlish | 67L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/listpats.mlish | 70L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/loop.mlish | 121L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/match2.mlish | 298L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/matrix.mlish | 73L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/nbody.mlish | 185L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/polyrecur.mlish | 117L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/queens.mlish | 186L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/result.mlish | 129L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/sweet-map.rkt | 20L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/term.mlish | 295L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/trees-tests.mlish | 51L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/trees.mlish | 8L |
| -rw-r--r-- | macrotypes/examples/tests/mlish/value-restriction-example.mlish | 25L |
| -rw-r--r-- | macrotypes/examples/tests/rackunit-kindchecking.rkt | 16L |
| -rw-r--r-- | macrotypes/examples/tests/rackunit-typechecking.rkt | 3L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+box-tests.rkt | 243L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+cons-tests.rkt | 229L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+effect-tests.rkt | 245L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+lit-tests.rkt | 61L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+occurrence-tests.rkt | 618L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+overloading-tests.rkt | 120L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+rec-iso-tests.rkt | 247L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+reco+sub-tests.rkt | 113L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+reco+var-tests.rkt | 232L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+sub-tests.rkt | 63L |
| -rw-r--r-- | macrotypes/examples/tests/stlc+tup-tests.rkt | 107L |
| -rw-r--r-- | macrotypes/examples/tests/stlc-tests.rkt | 12L |
| -rw-r--r-- | macrotypes/examples/tests/sysf-tests.rkt | 76L |
| -rw-r--r-- | macrotypes/info.rkt | 17L |
| -rw-r--r-- | macrotypes/postfix-in.rkt | 36L |
| -rw-r--r-- | macrotypes/stx-utils.rkt | 187L |
| -rw-r--r-- | macrotypes/type-constraints.rkt | 200L |
| -rw-r--r-- | macrotypes/typecheck.rkt | 1259L |
| -rw-r--r-- | macrotypes/variance-constraints.rkt | 389L |
| -rw-r--r-- | turnstile/examples/dep.rkt | 113L |
| -rw-r--r-- | turnstile/examples/exist.rkt | 70L |
| -rw-r--r-- | turnstile/examples/ext-stlc.rkt | 187L |
| -rw-r--r-- | turnstile/examples/fomega-no-reuse-old.rkt | 175L |
| -rw-r--r-- | turnstile/examples/fomega-no-reuse.rkt | 170L |
| -rw-r--r-- | turnstile/examples/fomega.rkt | 100L |
| -rw-r--r-- | turnstile/examples/fomega2.rkt | 133L |
| -rw-r--r-- | turnstile/examples/fomega3.rkt | 34L |
| -rw-r--r-- | turnstile/examples/fsub.rkt | 91L |
| -rw-r--r-- | turnstile/examples/infer.rkt | 220L |
| -rw-r--r-- | turnstile/examples/linear/fabul-utils.rkt | 71L |
| -rw-r--r-- | turnstile/examples/linear/fabul.rkt | 241L |
| -rw-r--r-- | turnstile/examples/linear/lin+chan.rkt | 61L |
| -rw-r--r-- | turnstile/examples/linear/lin+cons.rkt | 80L |
| -rw-r--r-- | turnstile/examples/linear/lin+tup.rkt | 112L |
| -rw-r--r-- | turnstile/examples/linear/lin+var.rkt | 118L |
| -rw-r--r-- | turnstile/examples/linear/lin.rkt | 350L |
| -rw-r--r-- | turnstile/examples/mlish+adhoc.rkt | 1784L |
| -rw-r--r-- | turnstile/examples/mlish-do.rkt | 31L |
| -rw-r--r-- | turnstile/examples/mlish.rkt | 1433L |
| -rw-r--r-- | turnstile/examples/rosette/bv.rkt | 93L |
| -rw-r--r-- | turnstile/examples/rosette/fsm.rkt | 58L |
| -rw-r--r-- | turnstile/examples/rosette/ifc.rkt | 45L |
| -rw-r--r-- | turnstile/examples/rosette/lib/render.rkt | 17L |
| -rw-r--r-- | turnstile/examples/rosette/lib/synthax.rkt | 19L |
| -rw-r--r-- | turnstile/examples/rosette/query/debug.rkt | 34L |
| -rw-r--r-- | turnstile/examples/rosette/rosette-notes.txt | 83L |
| -rw-r--r-- | turnstile/examples/rosette/rosette-util.rkt | 66L |
| -rw-r--r-- | turnstile/examples/rosette/rosette.rkt | 282L |
| -rw-r--r-- | turnstile/examples/rosette/rosette2.rkt | 718L |
| -rw-r--r-- | turnstile/examples/stlc+box.rkt | 31L |
| -rw-r--r-- | turnstile/examples/stlc+cons.rkt | 77L |
| -rw-r--r-- | turnstile/examples/stlc+effect.rkt | 117L |
| -rw-r--r-- | turnstile/examples/stlc+lit.rkt | 25L |
| -rw-r--r-- | turnstile/examples/stlc+rec-iso.rkt | 28L |
| -rw-r--r-- | turnstile/examples/stlc+reco+sub.rkt | 52L |
| -rw-r--r-- | turnstile/examples/stlc+reco+var.rkt | 139L |
| -rw-r--r-- | turnstile/examples/stlc+sub.rkt | 108L |
| -rw-r--r-- | turnstile/examples/stlc+tup.rkt | 34L |
| -rw-r--r-- | turnstile/examples/stlc+union+case.rkt | 103L |
| -rw-r--r-- | turnstile/examples/stlc+union.rkt | 133L |
| -rw-r--r-- | turnstile/examples/stlc.rkt | 34L |
| -rw-r--r-- | turnstile/examples/sysf.rkt | 27L |
| -rw-r--r-- | turnstile/examples/tests/dep-tests.rkt | 96L |
| -rw-r--r-- | turnstile/examples/tests/exist-tests.rkt | 370L |
| -rw-r--r-- | turnstile/examples/tests/ext-stlc-tests.rkt | 175L |
| -rw-r--r-- | turnstile/examples/tests/fomega-no-reuse-tests-old.rkt | 213L |
| -rw-r--r-- | turnstile/examples/tests/fomega-no-reuse-tests.rkt | 213L |
| -rw-r--r-- | turnstile/examples/tests/fomega-tests.rkt | 213L |
| -rw-r--r-- | turnstile/examples/tests/fomega2-tests.rkt | 205L |
| -rw-r--r-- | turnstile/examples/tests/fomega3-tests.rkt | 200L |
| -rw-r--r-- | turnstile/examples/tests/fsub-tests.rkt | 153L |
| -rw-r--r-- | turnstile/examples/tests/linear/fabul-tests.rkt | 75L |
| -rw-r--r-- | turnstile/examples/tests/linear/lin+chan-tests.rkt | 18L |
| -rw-r--r-- | turnstile/examples/tests/linear/lin+cons-tests.rkt | 28L |
| -rw-r--r-- | turnstile/examples/tests/linear/lin+tup-tests.rkt | 29L |
| -rw-r--r-- | turnstile/examples/tests/linear/lin+var-tests.rkt | 67L |
| -rw-r--r-- | turnstile/examples/tests/linear/lin-tests.rkt | 76L |
| -rw-r--r-- | turnstile/examples/tests/mlish-tests.rkt | 792L |
| -rw-r--r-- | turnstile/examples/tests/mlish/ack.mlish | 27L |
| -rw-r--r-- | turnstile/examples/tests/mlish/alex.mlish | 25L |
| -rw-r--r-- | turnstile/examples/tests/mlish/ary.mlish | 26L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/README.md | 103L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/basics-general.mlish | 59L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/basics.mlish | 370L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/basics2.mlish | 138L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/huffman.mlish | 278L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/lambda.mlish | 95L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/monad.mlish | 122L |
| -rw-r--r-- | turnstile/examples/tests/mlish/bg/okasaki.mlish | 1649L |
| -rw-r--r-- | turnstile/examples/tests/mlish/chameneos.mlish | 136L |
| -rw-r--r-- | turnstile/examples/tests/mlish/fannkuch.mlish | 54L |
| -rw-r--r-- | turnstile/examples/tests/mlish/fasta.mlish | 191L |
| -rw-r--r-- | turnstile/examples/tests/mlish/fibo.mlish | 22L |
| -rw-r--r-- | turnstile/examples/tests/mlish/find.mlish | 87L |
| -rw-r--r-- | turnstile/examples/tests/mlish/generic.mlish | 460L |
| -rw-r--r-- | turnstile/examples/tests/mlish/hash.mlish | 19L |
| -rw-r--r-- | turnstile/examples/tests/mlish/infer-variances.mlish | 243L |
| -rw-r--r-- | turnstile/examples/tests/mlish/inst.mlish | 74L |
| -rw-r--r-- | turnstile/examples/tests/mlish/knuc.mlish | 67L |
| -rw-r--r-- | turnstile/examples/tests/mlish/listpats.mlish | 70L |
| -rw-r--r-- | turnstile/examples/tests/mlish/loop.mlish | 121L |
| -rw-r--r-- | turnstile/examples/tests/mlish/match2.mlish | 298L |
| -rw-r--r-- | turnstile/examples/tests/mlish/matrix.mlish | 73L |
| -rw-r--r-- | turnstile/examples/tests/mlish/nbody.mlish | 185L |
| -rw-r--r-- | turnstile/examples/tests/mlish/polyrecur.mlish | 117L |
| -rw-r--r-- | turnstile/examples/tests/mlish/queens.mlish | 186L |
| -rw-r--r-- | turnstile/examples/tests/mlish/result.mlish | 129L |
| -rw-r--r-- | turnstile/examples/tests/mlish/sweet-map.rkt | 20L |
| -rw-r--r-- | turnstile/examples/tests/mlish/term.mlish | 295L |
| -rw-r--r-- | turnstile/examples/tests/mlish/trees-tests.mlish | 51L |
| -rw-r--r-- | turnstile/examples/tests/mlish/trees.mlish | 8L |
| -rw-r--r-- | turnstile/examples/tests/mlish/value-restriction-example.mlish | 25L |
| -rw-r--r-- | turnstile/examples/tests/pat-expander-tests-def.rkt | 171L |
| -rw-r--r-- | turnstile/examples/tests/pat-expander-tests.rkt | 143L |
| -rw-r--r-- | turnstile/examples/tests/rackunit-kindchecking.rkt | 18L |
| -rw-r--r-- | turnstile/examples/tests/rackunit-typechecking.rkt | 132L |
| -rw-r--r-- | turnstile/examples/tests/rosette/bv-ref-tests.rkt | 404L |
| -rw-r--r-- | turnstile/examples/tests/rosette/bv-tests.rkt | 30L |
| -rw-r--r-- | turnstile/examples/tests/rosette/check-asserts.rkt | 31L |
| -rw-r--r-- | turnstile/examples/tests/rosette/check-type+asserts.rkt | 17L |
| -rw-r--r-- | turnstile/examples/tests/rosette/fsm-test.rkt | 43L |
| -rw-r--r-- | turnstile/examples/tests/rosette/ifc-tests.rkt | 92L |
| -rw-r--r-- | turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt | 184L |
| -rw-r--r-- | turnstile/examples/tests/rosette/rosette-guide-sec3-tests.rkt | 20L |
| -rw-r--r-- | turnstile/examples/tests/rosette/rosette-tests.rkt | 127L |
| -rw-r--r-- | turnstile/examples/tests/rosette/rosette2-tests.rkt | 303L |
| -rw-r--r-- | turnstile/examples/tests/rosette/run-all-rosette-tests.rkt | 13L |
| -rw-r--r-- | turnstile/examples/tests/stlc+box-tests.rkt | 243L |
| -rw-r--r-- | turnstile/examples/tests/stlc+cons-tests.rkt | 229L |
| -rw-r--r-- | turnstile/examples/tests/stlc+effect-tests.rkt | 245L |
| -rw-r--r-- | turnstile/examples/tests/stlc+lit-tests.rkt | 65L |
| -rw-r--r-- | turnstile/examples/tests/stlc+rec-iso-tests.rkt | 247L |
| -rw-r--r-- | turnstile/examples/tests/stlc+reco+sub-tests.rkt | 113L |
| -rw-r--r-- | turnstile/examples/tests/stlc+reco+var-tests.rkt | 232L |
| -rw-r--r-- | turnstile/examples/tests/stlc+sub-tests.rkt | 63L |
| -rw-r--r-- | turnstile/examples/tests/stlc+tup-tests.rkt | 107L |
| -rw-r--r-- | turnstile/examples/tests/stlc+union+case.rkt | 102L |
| -rw-r--r-- | turnstile/examples/tests/stlc+union.rkt | 92L |
| -rw-r--r-- | turnstile/examples/tests/stlc-tests.rkt | 12L |
| -rw-r--r-- | turnstile/examples/tests/sysf-tests.rkt | 76L |
| -rw-r--r-- | turnstile/examples/tests/tlb-infer-tests.rkt | 94L |
| -rw-r--r-- | turnstile/examples/tests/trivial-test.rkt | 129L |
| -rw-r--r-- | turnstile/examples/trivial.rkt | 417L |
| -rw-r--r-- | turnstile/examples/util/filter-maximal.rkt | 54L |
| -rw-r--r-- | turnstile/info.rkt | 27L |
| -rw-r--r-- | turnstile/lang.rkt | 9L |
| -rw-r--r-- | turnstile/lang/.DS_Store | 6148B |
| -rw-r--r-- | turnstile/lang/lang/reader.rkt | 2L |
| -rw-r--r-- | turnstile/lang/reader.rkt | 2L |
| -rw-r--r-- | turnstile/main.rkt | 6L |
| -rw-r--r-- | turnstile/mode.rkt | 70L |
| -rw-r--r-- | turnstile/rackunit-typechecking.rkt | 4L |
| -rw-r--r-- | turnstile/scribblings/common.rkt | 35L |
| -rw-r--r-- | turnstile/scribblings/doc-utils.rkt | 5L |
| -rw-r--r-- | turnstile/scribblings/guide.scrbl | 494L |
| -rw-r--r-- | turnstile/scribblings/reference.scrbl | 793L |
| -rw-r--r-- | turnstile/scribblings/turnstile.scrbl | 34L |
| -rw-r--r-- | turnstile/turnstile.rkt | 517L |