parametric type synonyms
nullary type synonyms
formatting & add rustfmt.toml
Goal: an interactive functional programming language.
Imagine a statically typed functional programming language you work with in a game engine-like live coding IDE.
Some things I want to have in the language itself and the core compiler to enable this vision:
Don't visit https://kapreol.io/ yet. It's still empty.