New top story on Hacker News: Functional Algorithms, Verified

Functional Algorithms, Verified
10 by haskellandchill | 1 comments on Hacker News.