turnstile

#lang for implementing typed Racket languages

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, October 11th, 2017 4:29:19pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://bitbucket.org/stchang/macrotypes.git84d4d266b9601dd191fbf1dc3601a4fa557c42e6
Last checkedWednesday, October 18th, 2017 3:12:27pm (UTC)
Last editedThursday, January 26th, 2017 2:29:44am (UTC)
Modules
  • macrotypes/examples/tests/stlc+box-tests.rkt
  • turnstile/examples/tests/stlc+sub-tests.rkt
  • turnstile/examples/fomega3.rkt
  • macrotypes/examples/tests/ext-stlc-tests.rkt
  • macrotypes/examples/mlish+adhoc.rkt
  • turnstile/examples/rosette/rosette.rkt
  • turnstile/examples/linear/lin+cons.rkt
  • macrotypes/examples/tests/stlc+reco+sub-tests.rkt
  • turnstile/examples/tests/fomega2-tests.rkt
  • turnstile/examples/stlc+reco+sub.rkt
  • turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt
  • turnstile/examples/fomega-no-reuse.rkt
  • turnstile/scribblings/reference.scrbl
  • macrotypes/examples/stlc+reco+var.rkt
  • macrotypes/examples/stlc.rkt
  • macrotypes/examples/stlc+sub.rkt
  • turnstile/examples/linear/fabul-utils.rkt
  • turnstile/examples/tests/stlc+effect-tests.rkt
  • turnstile/examples/rosette/rosette2.rkt
  • macrotypes/examples/stlc+effect.rkt
  • turnstile/examples/stlc+union.rkt
  • macrotypes/examples/tests/stlc-tests.rkt
  • turnstile/lang/lang/reader.rkt
  • macrotypes/postfix-in.rkt
  • turnstile/scribblings/common.rkt
  • turnstile/examples/rosette/lib/synthax.rkt
  • turnstile/examples/tests/stlc-tests.rkt
  • turnstile/main.rkt
  • macrotypes/examples/tests/stlc+occurrence-tests.rkt
  • turnstile/examples/trivial.rkt
  • macrotypes/variance-constraints.rkt
  • turnstile/examples/tests/rosette/bv-ref-tests.rkt
  • turnstile/examples/linear/lin.rkt
  • macrotypes/examples/stlc+lit.rkt
  • macrotypes/examples/tests/rackunit-typechecking.rkt
  • turnstile/examples/dep.rkt
  • turnstile/examples/sysf.rkt
  • turnstile/examples/tests/fomega-no-reuse-tests-old.rkt
  • turnstile/examples/tests/fsub-tests.rkt
  • turnstile/rackunit-typechecking.rkt
  • turnstile/examples/tests/rosette/bv-tests.rkt
  • macrotypes/examples/fomega2.rkt
  • macrotypes/examples/tests/fomega3-tests.rkt
  • turnstile/scribblings/doc-utils.rkt
  • macrotypes/examples/ext-stlc.rkt
  • macrotypes/examples/tests/rackunit-kindchecking.rkt
  • turnstile/examples/tests/stlc+reco+sub-tests.rkt
  • turnstile/examples/rosette/fsm.rkt
  • macrotypes/examples/tests/stlc+lit-tests.rkt
  • turnstile/examples/tests/linear/fabul-tests.rkt
  • turnstile/examples/stlc+sub.rkt
  • turnstile/examples/tests/linear/lin-tests.rkt
  • turnstile/examples/stlc+union+case.rkt
  • turnstile/examples/tests/linear/lin+chan-tests.rkt
  • macrotypes/examples/tests/general-tests.rkt
  • turnstile/examples/tests/linear/lin+cons-tests.rkt
  • turnstile/examples/stlc+box.rkt
  • macrotypes/examples/tests/fsub-tests.rkt
  • turnstile/examples/tests/fomega-no-reuse-tests.rkt
  • turnstile/examples/tests/fomega-tests.rkt
  • turnstile/examples/tests/trivial-test.rkt
  • turnstile/examples/stlc+rec-iso.rkt
  • turnstile/examples/tests/stlc+tup-tests.rkt
  • turnstile/examples/tests/stlc+rec-iso-tests.rkt
  • turnstile/examples/stlc+cons.rkt
  • turnstile/examples/tests/linear/lin+tup-tests.rkt
  • macrotypes/examples/infer.rkt
  • turnstile/examples/linear/lin+chan.rkt
  • turnstile/examples/tests/stlc+reco+var-tests.rkt
  • turnstile/examples/ext-stlc.rkt
  • turnstile/examples/tests/rosette/rosette-guide-sec3-tests.rkt
  • macrotypes/examples/mlish-do.rkt
  • turnstile/examples/tests/pat-expander-tests-def.rkt
  • macrotypes/examples/stlc+cons.rkt
  • macrotypes/examples/mlish.rkt
  • turnstile/examples/tests/mlish-tests.rkt
  • turnstile/examples/tests/dep-tests.rkt
  • turnstile/examples/mlish-do.rkt
  • turnstile/scribblings/turnstile.scrbl
  • turnstile/examples/tests/rackunit-kindchecking.rkt
  • turnstile/lang/reader.rkt
  • turnstile/examples/fomega2.rkt
  • turnstile/examples/tests/rosette/rosette2-tests.rkt
  • turnstile/examples/linear/fabul.rkt
  • turnstile/examples/tests/rosette/check-type+asserts.rkt
  • turnstile/examples/stlc.rkt
  • turnstile/examples/infer.rkt
  • macrotypes/type-constraints.rkt
  • macrotypes/examples/tests/exist-tests.rkt
  • turnstile/examples/linear/lin+tup.rkt
  • turnstile/examples/fsub.rkt
  • turnstile/examples/tests/fomega3-tests.rkt
  • turnstile/examples/tests/rosette/run-all-rosette-tests.rkt
  • turnstile/examples/rosette/ifc.rkt
  • turnstile/examples/tests/pat-expander-tests.rkt
  • turnstile/examples/tests/exist-tests.rkt
  • macrotypes/examples/tests/sysf-tests.rkt
  • turnstile/examples/tests/tlb-infer-tests.rkt
  • macrotypes/examples/stlc+overloading.rkt
  • macrotypes/examples/tests/mlish-tests.rkt
  • turnstile/scribblings/guide.scrbl
  • macrotypes/examples/tests/do-tests.rkt
  • macrotypes/examples/sysf.rkt
  • macrotypes/typecheck.rkt
  • macrotypes/examples/tests/fomega2-tests.rkt
  • turnstile/examples/tests/stlc+box-tests.rkt
  • turnstile/examples/tests/rosette/rosette-tests.rkt
  • turnstile/examples/fomega.rkt
  • turnstile/examples/rosette/lib/render.rkt
  • turnstile/examples/tests/ext-stlc-tests.rkt
  • turnstile/examples/tests/sysf-tests.rkt
  • turnstile/examples/exist.rkt
  • turnstile/examples/tests/stlc+cons-tests.rkt
  • macrotypes/examples/tests/stlc+tup-tests.rkt
  • macrotypes/examples/exist.rkt
  • macrotypes/examples/tests/infer-tests.rkt
  • turnstile/examples/util/filter-maximal.rkt
  • turnstile/mode.rkt
  • macrotypes/examples/tests/stlc+sub-tests.rkt
  • macrotypes/stx-utils.rkt
  • turnstile/examples/rosette/bv.rkt
  • turnstile/examples/tests/rackunit-typechecking.rkt
  • macrotypes/examples/fomega.rkt
  • macrotypes/examples/tests/mlish/sweet-map.rkt
  • turnstile/examples/stlc+lit.rkt
  • turnstile/lang.rkt
  • turnstile/examples/tests/linear/lin+var-tests.rkt
  • macrotypes/examples/fomega3.rkt
  • turnstile/examples/mlish.rkt
  • macrotypes/examples/tests/stlc+effect-tests.rkt
  • macrotypes/examples/stlc+rec-iso.rkt
  • turnstile/turnstile.rkt
  • turnstile/examples/tests/rosette/ifc-tests.rkt
  • turnstile/examples/mlish+adhoc.rkt
  • macrotypes/examples/stlc+occurrence.rkt
  • turnstile/examples/tests/mlish/sweet-map.rkt
  • turnstile/examples/fomega-no-reuse-old.rkt
  • macrotypes/examples/stlc+box.rkt
  • turnstile/examples/tests/stlc+lit-tests.rkt
  • turnstile/examples/stlc+tup.rkt
  • turnstile/examples/stlc+reco+var.rkt
  • turnstile/examples/tests/rosette/check-asserts.rkt
  • macrotypes/examples/fsub.rkt
  • macrotypes/examples/tests/stlc+rec-iso-tests.rkt
  • turnstile/examples/tests/stlc+union.rkt
  • macrotypes/examples/tests/fomega-tests.rkt
  • turnstile/examples/rosette/rosette-util.rkt
  • turnstile/examples/tests/rosette/fsm-test.rkt
  • turnstile/examples/tests/stlc+union+case.rkt
  • macrotypes/examples/tests/stlc+cons-tests.rkt
  • turnstile/examples/linear/lin+var.rkt
  • turnstile/examples/stlc+effect.rkt
  • macrotypes/examples/stlc+tup.rkt
  • macrotypes/examples/stlc+reco+sub.rkt
  • macrotypes/examples/tests/stlc+overloading-tests.rkt
  • turnstile/examples/rosette/query/debug.rkt
  • macrotypes/examples/tests/stlc+reco+var-tests.rkt