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, June 11th, 2019 9:14:08pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/mflatt/plait.gita42c188e5f971800edf8f5d75be2ab484298d11d
Last checkedTuesday, June 25th, 2019 3:18:15pm (UTC)
Last editedTuesday, July 31st, 2018 8:15:56pm (UTC)
Date addedN/A
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/tests/lazy-values.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/force.rkt
  • plait/tests/repl.rkt
  • plait/tests/values.rkt
  • plait/tests/submod2.rkt