tsani / comp-302-review

Review problems for COMP 302

tsani/comp-302-review Issues

Missing l (list) argument in length' function on line 60 in review-problems-sol.ml
Updated 7 months ago
fibs lazy list should have go 0 1 instead of go 1 0 to make the stream start at 0 .
Closed 5 years ago1
for_all' and exists'
Closed 5 years ago2