9.0.0.2
Plait Language
| #lang plait | package: plait |
The Plait language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML. For a quick introduction, see the tutorial section or the tutorial videos.