Giters

andorp / dmmf

Examples from the 'Domain Modeling made Functional' book.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dmmf

Examples from the 'Domain Modeling made Functional' book.

About

Examples from the 'Domain Modeling made Functional' book.

Languages

Language:Idris 99.4%Language:Makefile 0.6%