Programming Language Foundations in Lean Philip Wadler

Built using verso by David Thrane Christiansen

You can then build your book with:

$ lake exe plfl --output _out/html --depth 2

You can read the book with:

$ python3 -m http.server 8800 --directory _out/html/html-multi &