Notable changes to this book, most recent first, split one file per release. Each entry links back to the commit(s) it corresponds to where one exists.
- v1.4.23 — Add dbg_trace tracing to Chapter 1 (PR E1, part 1)
- v1.4.22 — Book-wide content-quality pass: clarity fixes, citations, and new diagrams
- v1.4.21 — Add a Π vs Σ comparison table
- v1.4.20 — Fix a leaked blockquote marker, and add two worked examples
- v1.4.19 — Fix confusing Nat-overload in two Ch. 1 §3 Vec examples
- v1.4.18 — Add Recall subsections across the whole book (23 entries)
- v1.4.17 — Cite the terminology glossary; fix F-algebra citation; fix leaked blockquote markers
- v1.4.16 — Clarify the Nat-as-initial-algebra optional math box; full-book link/citation audit
- v1.4.15 — Dummit & Foote citation precision + direct-sums mischaracterization fix (9 entries)
- v1.4.14 — Add a designed front/back cover, wired into the PDF
- v1.4.13 — Replace proprietary fonts with free, portable equivalents
- v1.4.12 — Pre-release link audit (5 entries)
- v1.4.11 — Extend the “every notion gets a citation” rule to Ch. 6-11 (16 entries)
- v1.4.10 — Formally cite and define the remaining type-theory notions (2 entries)
- v1.4.9 — Second-opinion prose review: 2 more passages
- v1.4.8 — Add a Python companion notebook (4 entries)
- v1.4.7 — Fix missing space after arrows/logic symbols in code listings
- v1.4.6 — Drop web-navigation-only “Next” sections from the PDF (2 entries)
- v1.4.4 — Revert KOMA-Script scrbook back to plain
book(2 entries) - v1.4.2 — Preface, notation reference, and a KOMA-Script (Springer-style) class
- v1.4.1 — LaTeX rendering fixes: table overflow, Python listings, learning-paths diagram
- v1.4.0 — Socratic questions at the end of every chapter (7 entries)
- v1.2.0 — Capstone: two theorems for free
- v1.1.0 — Inline reference links, and a second screenshot (3 entries)
- v1.0.0 — PDF build (4 entries)