This pull request vastly generalizes the list_foldr primitive in our core calculus to work with arbitrary datatypes, implementing #29 and enabling future implementation of #3. The most difficult parts of the implementation were updating (beta-)normalization, recursion scheme extraction, and fusion (in increasing difficulty order).
This pull request vastly generalizes the
list_foldrprimitive in our core calculus to work with arbitrary datatypes, implementing #29 and enabling future implementation of #3. The most difficult parts of the implementation were updating (beta-)normalization, recursion scheme extraction, and fusion (in increasing difficulty order).