idris-free

Free Monads and useful constructions to work with them

26 stars

12 watching

10 forks

Language: Idris

last commit: about 6 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris