
24 Dec
2020
24 Dec
'20
3:21 a.m.
In the "lazy corecursive" section from your original links, you mention a "flatten" function, but then the next function is named "toList". I think this might be an oversight. ======= Georgi