Stars
6
stars
written in Haskell
Clear filter
A programming language with static memory management based on λ-calculus
Minimal implementations for dependent type checking and elaboration
A fast functional language based on two level type theory
A simple expressions language with polymorphic extensible row types.
Eventually a practical 2-level TT-based compiler