Geeks
andorp
/
dmmf
Examples from the 'Domain Modeling made Functional' book.
Primary Language
Idris
dmmf GitHub
Markdown
Readme
0
Issues
1
Stargazer
4
Watchers
dmmf
Examples from the 'Domain Modeling made Functional' book.