F functional-algorithms-verified.org Functional Algorithms, Verified 167 points haskellandchill 5 years ago 43 comments
