plait

The Plait language is a hybrid of Racket (concrete syntax) and ML (type system) that is intended for use in an interpreters-based programming-languages course. It's an improved variant of `plai-typed`.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedWednesday, September 19th, 2018 2:58:03am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/mflatt/plait.git15396db448f09f8f813a6a12cbd315aa801d7e59
Last checkedTuesday, October 16th, 2018 1:15:33pm (UTC)
Last editedTuesday, July 31st, 2018 8:15:56pm (UTC)
Modules
  • plait/scribblings/demo.rkt
  • plait/tests/s-exp-match.rkt
  • plait/tests/submod.rkt
  • plait/tests/ta-scope.rkt
  • plait/tests/parse.rkt
  • plait/scribblings/plait.scrbl
  • plait/tests/use-basic.rkt
  • plait/private/types.rkt
  • plait/main.rkt
  • plait/tests/hygiene.rkt
  • plait/private/s-exp.rkt
  • plait/private/fixup-quote.rkt
  • plait/tests/basic.rkt
  • plait/tests/synerror.rkt
  • plait/private/lazy-datatype.rkt
  • plait/private/collapse.rkt
  • plait/scribblings/tutorial.scrbl
  • plait/tests/untyped-use-untyped.rkt
  • plait/tests/submod3.rkt
  • plait/tests/lazy.rkt
  • plait/private/s-exp-match.rkt
  • plait/tests/use-typed-basic.rkt
  • plait/private/tuple.rkt
  • plait/private/force.rkt
  • plait/tests/rename.rkt
  • plait/tests/untyped.rkt
  • plait/tests/use-untyped.rkt
  • plait/tests/repl.rkt
  • plait/tests/submod2.rkt