My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"
Primary LanguageLean