Hacker NewsNov 27

Functional Data Structures and Algorithms: a Proof Assistant Approach

https://fdsa-book.net/

#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN

Functional Data Structures and Algorithms. A Proof Assistant Approach