GitHub - James-Oswald/Functional-Programming-In-Lean: My solutions for selected exercises in Christiansen's Book "Functional Programming In Lean"

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.vscode		.vscode
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
FunctionalProgrammingInLean.lean		FunctionalProgrammingInLean.lean
Main.lean		Main.lean
lakefile.lean		lakefile.lean