Solutions to exercises from David Thrane Christiansen's Functional Programming in Lean.
Primary LanguageLean
No issues in this repository yet.