KO
|
EN
gitlite — search
Search
#react
#python
#android
#javascript
#nodejs
#hacktoberfest
#wordpress
#redux
#linux
#angular
#rabbitmq
#command-line-tool
recursion_schemes
★ 64
Open GitHub ↗
Recursion schemes for Idris
Download README (.md)
Explore Similar Repositories
recursion_examples
:
Random source code files of recursive algorithms.
dada
:
A total recursion scheme library for Dhall
recursive-visualizations
:
An online tool to visualize recursive JS functions step-by-step as a tree.
ScanRat
:
ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
rrapply
:
rrapply: revisiting base-R's rapply
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
recursion_schemes
?
Download (.md)
# recursion_schemes [](https://travis-ci.org/vmchale/recursion\_schemes) This is a library providing recursion schemes for Idris. It it is loosely based on Edward Kmett's [Haskell library](https://hackage.haskell.org/package/recursion-schemes). ## Installation First, install [idris-free](https://github.com/idris-hackers/idris-free), [comonad](https://github.com/vmchale/comonad) and [composition](https://github.com/vmchale/composition). Then: ``` idris --install recursion_schemes.ipkg ``` To run the tests, install [specdris](https://github.com/pheymann/specdris). Then: ``` idris --testpkg test.ipkg ``` ## Use The classic paper [Functional programming with bananas, lenses, envelopes and barbed wire](https://link.springer.com/chapter/10.1007/3540543961_7) is the inspiration behind the Haskell library and is the standard reference on the topic. You may also find [Law and Order in Algorithmics](https://pdfs.semanticscholar.org/7ca8/326eb63f32502c0fc2324b6217a7bc7e8af4.pdf) to be of use. ### Examples In the `Test.Spec` module there are several examples, including a catamorphism, a zygomorphism, a mutumorphism, an Elgot algebra, a paramorphism, a dynamorphism, and a hylomorphism. ### Documentation You can find documentation [here](https://vmchale.github.io/recursion_schemes/index.html).
