euprunin

Best way to get a PDF version of Functional Programming in Lean?

7

What is the best way to get a PDF version of Functional Programming in Lean? Currently I'm doing the following: ``` % git clone https://github.com/leanprover/fp-lean % cd fp-lean % lake...

`lake exe fp-lean` fails with `bash: doug: command not found` and `Non-zero exit code from 'sort --shared < test-data'`

3

`lake exe fp-lean` fails with `bash: doug: command not found` and `Non-zero exit code from 'sort --shared < test-data'`: ``` % git clone https://github.com/leanprover/fp-lean % cd fp-lean % lake exe...

Suggested change: ```diff diff --git a/README.md b/README.md index f51ae09..c54499e 100644 --- a/README.md +++ b/README.md @@ -10,5 +10,14 @@ The book's build has been tested with: 1. Lean 4 (see the...

chore: golf proofs

2

--- Trace profiling results (shown if ≥10 ms before or after): * `Int.even_sign_iff`: 88 ms before, 97 ms after * `SimpleGraph.Walk.nil_takeUntil`: 88 ms before,