with some corrections from: http://bc.tech.coop/cltl2-ansi.htm
https://github.com/mmontone/cltl2-doc/releases/latest
Run make
This is a fork of https://github.com/filonenko-mikhail/cltl2-doc that contains only English PDF generation.
- Original sources: http://www.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html
- A bookmarked PDF version: https://ldbeth.sdf.org/cltl2.html