Highlights
- Pro
Starred repositories
3
stars
written in Scala
Clear filter
A language with lexical effect handlers and lightweight effect polymorphism
A simple scala-like dependent type programming language