search

justinlubin / cobbler

Refactor programs to use library functions!
5 stars 0 forks source link

Generalize catamorphisms to work for arbitrary datatypes #29

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

This will allow us to also remove deforestation (a.k.a. fusion for sum catamorphism), and update the fusion code accordingly, enabling us to implement #3.

justinlubin commented 1 year ago

Implemented by #38.