All Categories → No Category → depedent-types

Top 1 depedent-types open source projects

Idris version of Domain Modeling Made Functional Book.

✭ 113

Idris javascript Svelte ddd fp depedent-types

1-1 of 1 depedent-types projects