♠️ | Learning functional programming with Lean.
- Nix 84.1%
- Lean 15.9%
| .github/assets | ||
| .envrc | ||
| .gitignore | ||
| flake.lock | ||
| flake.nix | ||
| lake-manifest.json | ||
| lakefile.toml | ||
| lean-toolchain | ||
| LICENSE | ||
| Main.lean | ||
| README.md | ||
A Lean introduction repository.
About
Interest in Functional Programming sparked motivation on learning FP languages and I decided to start with Lean4.
Readme serves as a purpose to keep track of where I stopped/paused.
Material
Currently, I'm studying with Lean4's officla guidebook at: Functional Programming in Lean. I've done the following chapters:
- 1.1
- 1.1.1
- 1.1.2
- 1.2
- 1.3
- 1.3.1
- 1.3.2
License
This project is licensed under the MIT License - see the LICENSE file for details.
