https://github.com/clayrat/idris-recursion

https://github.com/clayrat/idris-recursion

recursion-schemes

Last synced: 4 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/clayrat/idris-recursion
• Owner: clayrat
• Created: 2018-03-28T10:57:29.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-03-28T10:58:11.000Z (about 7 years ago)
• Last Synced: 2024-12-25T04:26:29.361Z (4 months ago)
• Topics: recursion-schemes
• Language: Idris
• Size: 1000 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Recursion

Experiments with recursion schemes in Idris.

## References

* [Augusteijn, "Sorting morphisms"](https://pdfs.semanticscholar.org/87b2/6d98d4c3e2f7983d0b79fba83c1f359abe25.pdf)