search

justinlubin / cobbler

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

Make list_foldr work on datatypes other than "Cons"/"Nil" #2

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

This will allow lists of lists without polymorphism. Or we could hard-code in the list type, like we do in the paper.

justinlubin commented 1 year ago

Superseded by #26.