Dependent composable partial functions for free in Coq
Primary LanguageCoqMIT LicenseMIT
No one’s star this repository yet.