
Statically-typed Lisp with Haskell-style features. Try it in your browser.
- Type inference & algebraic data types
- Pattern matching & type classes
- Compiles to efficient Common Lisp
👇 Select an example below and hit Run

Statically-typed Lisp with Haskell-style features. Try it in your browser.
👇 Select an example below and hit Run