A type checker for a dependent type theory.
Primary LanguageHaskellCreative Commons Zero v1.0 UniversalCC0-1.0
This repository is not active