Commit 2023-11-19 15:17 778f663a
View on Github →chore: restore simpler code in foldrRecOn and foldlRecOn (#8508)
#1720 made List.rec computable and therefore made it possible to restore the simpler versions of
foldrRecOn and foldlRecOn.
chore: restore simpler code in foldrRecOn and foldlRecOn (#8508)
#1720 made List.rec computable and therefore made it possible to restore the simpler versions of
foldrRecOn and foldlRecOn.