https://github.com/vmchale/recursion_schemes
Idris62
6 years ago
Recursion schemes for Idris
BSD 3-Clause "New" or "Revised" License
Recursion schemes in ATS
ATS8bsd-3-clause
2 years ago