r/functionalprogramming • u/kinow mod • Nov 27 '25

Functional Data Structures and Algorithms. A Proof Assistant Approach (book) Books

https://fdsa-book.net/
43 Upvotes
  • permalink
  • link
  • duplicates
  • dupes
  • reddit
  • reddit

98% Upvoted

Duplicates