Functional Algorithms, Verified

4 points by nextos