Plait Language🔗 i

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.