recursion_schemes
recursion_schemes copied to clipboard
Published
20 hours ago •
vmchale
vmchale
Recursion schemes for Idris
Results
2
recursion_schemes issues
Sort by
recently updated
recently updated
newest added
- Update the specdris dep to point at the upstream repo - Update tests to work with the latest version of elba - Sell out for elba more in the...
Hello @vmchale Here my haskell version of monadic RS ```haskell type AlgebraM m f a = f a -> m a type ParaAlgebraM m t a = Base t (t,...
enhancement