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 missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Last updatedWednesday, December 20th, 2023 4:11:46pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/mflatt/plait.gite046da124aa9ee681e07a9b0db2f7158adf48b6c
    Last checkedSunday, November 30th, 2025 9:53:56am (UTC)
    Last editedTuesday, July 31st, 2018 8:15:56pm (UTC)
    Date addedN/A
    Modules
    • plait/tests/untyped-use-untyped.rkt
    • plait/main.rkt
    • plait/tests/untyped.rkt
    • plait/tests/use-typed-basic.rkt
    • plait/tests/repl.rkt
    • plait/private/tuple.rkt
    • plait/tests/untyped-use-typed.rkt
    • plait/tests/use-untyped.rkt
    • plait/tests/basic.rkt
    • plait/private/s-exp.rkt
    • plait/scribblings/plait.scrbl
    • plait/private/lazy-datatype.rkt
    • plait/tests/submod.rkt
    • plait/private/s-exp-match.rkt
    • plait/private/types.rkt
    • plait/tests/ta-scope.rkt
    • plait/tests/submod3.rkt
    • plait/tests/force.rkt
    • plait/tests/values.rkt
    • plait/scribblings/demo.rkt
    • plait/tests/rename.rkt
    • plait/private/collapse.rkt
    • plait/scribblings/link.rkt
    • plait/private/contract-support.rkt
    • plait/tests/synerror.rkt
    • plait/tests/lazy.rkt
    • plait/tests/parse.rkt
    • plait/tests/use-basic.rkt
    • plait/tests/use-macro-intro.rkt
    • plait/private/fixup-quote.rkt
    • plait/tests/s-exp-match.rkt
    • plait/scribblings/tutorial.scrbl
    • plait/tests/hygiene.rkt
    • plait/private/force.rkt
    • plait/tests/lazy-values.rkt
    • plait/tests/macro-intro.rkt
    • plait/tests/submod2.rkt