depedent-types topic
List
depedent-types repositories
order-taking
131
Stars
11
Forks
Watchers
Idris version of Domain Modeling Made Functional Book.
