algorithms_in_FP

Algorithm design with Lean4 and Haskell. Based on the book Algorithm Design With Haskell and Purely Functional Data Structures.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitattributes		.gitattributes
LICENSE		LICENSE
README.md		README.md

Provide feedback