/basic-recursion

Basic recursion schemes in Blodwen

BSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Recursion Schemes in Blodwen

This contains an example of how to implement recursion schemes in Blodwen. It is loosely based off of a similar Idris library.