/Irie-lang

Subtyping calculus of inductive constructions

Primary LanguageHaskellOtherNOASSERTION

Watchers