Starred repositories
7
stars
written in Haskell
Clear filter
A friendly programming language from the future
♊ higher-order, no-boilerplate monads
Minimal implementations for dependent type checking and elaboration