Functional Data Structures and Algorithms: a Proof Assistant Approach
(fdsa-book.net)
72 points
by SchwKatze
10 hours ago |
9 comments
()
()
