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 updatedTuesday, August 7th, 2018 4:47:50pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/mflatt/plait.git218bc1b1a7b4103705d75bbf016140d9783b6d3b
Last checkedSaturday, August 18th, 2018 3:58:00pm (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