https://github.com/vmchale/basic-recursion
Basic recursion schemes in Blodwen
https://github.com/vmchale/basic-recursion
Last synced: 5 months ago
JSON representation
Basic recursion schemes in Blodwen
- Host: GitHub
- URL: https://github.com/vmchale/basic-recursion
- Owner: vmchale
- License: bsd-3-clause
- Created: 2018-08-19T11:23:28.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-08-19T11:23:39.000Z (over 7 years ago)
- Last Synced: 2025-02-25T23:21:38.704Z (11 months ago)
- Size: 1.95 KB
- Stars: 2
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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](https://github.com/vmchale/recursion_schemes).