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`.
|Last updated||Sunday, February 10th, 2019 2:42:25pm (UTC)|
|Most recent build results|
|Last checked||Monday, February 18th, 2019 10:52:32am (UTC)|
|Last edited||Tuesday, July 31st, 2018 8:15:56pm (UTC)|