recursion_schemes

Recursion schemes for Idris

GitHub
64 stars
6 watching
5 forks
Language: Idris
last commit: about 6 years ago
Linked from 1 awesome list

control-flowidrisidris-ecosystemrecursionrecursion-schemes

Backlinks from these awesome lists: