F fdsa-book.net Functional Data Structures and Algorithms: a Proof Assistant Approach 117 points SchwKatze 11 months ago 29 comments
