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:

Authors
Documentation
Tags
Last updatedSunday, February 10th, 2019 2:42:25pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/mflatt/plait.gitce239cd5fe445ff008e29f325f5481c3a0692b6f
    Last checkedMonday, February 18th, 2019 10:52:32am (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/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/submod2.rkt