Prototype implementations of systems based on setoid type theory
Primary LanguageHaskell
Prototype implementations of systems based on setoid type theory.
Working small prototype: proto