a minimal dependently typed language with equality resolving at runtime
Primary LanguageHaskell
No issues in this repository yet.