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