Home / Recursion Schemes / recursion_schemes recursion_schemes for Idris, based off Edward Kmett's Haskell library. Package 64 stars GitHub Back to Recursion Schemes