Idris version of Domain Modeling Made Functional Book.
Primary LanguageIdrisOtherNOASSERTION
No one’s star this repository yet.