Exercises and examples from "Functional Programming in Lean" - David Thrane Christiansen
GrahamStrickland/functional_lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Exercises and examples from "Functional Programming in Lean" - David Thrane Christiansen