Functional Data Structures and Algorithms: a Proof Assistant Approach

[SchwKatze]

Article URL: https://fdsa-book.net/

Comments URL: https://news.ycombinator.com/item?id=46064680

Points: 53

# Comments: 8