Dependently-typed finite maps (partial dependent products)
Primary LanguageHaskellOtherNOASSERTION
No one’s star this repository yet.