Super HN - Super Hacker News

Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net) 4 points by SchwKatze 2 hours ago