TWO DOCUMENTS · ONE BOOKSHELF
Interaction nets, the Interaction Calculus,
HVM4 and HVM5
A reference compendium of sources and a from-first-principles coursebook. Every program runs on HVM4 HEAD 6defdfc; every quote is checked word for word.
Coursebook
A from-first-principles course with step galleries, verified programs and 90+ exercises with worked solutions: the six rules of the symmetric interaction combinators, λ-calculus on nets, labels and the Interaction Calculus, superposition and search, the HVM4 machine (HEAD 6defdfc, single-file src/hvm.c), optimality told honestly, Bend 2, HVM5's code-as-data design, and Victor Taelin's own insights quoted verbatim.
Read the coursebook → SOURCES · 446 FILES · 11 PARTSCompendium
Every source on Bend 2, BendRT, HVM1–HVM5, the Interaction Calculus and interaction nets in this workspace, copied verbatim with stable ids, plus the current HVM4 HEAD documentation (Part L), a reading guide to Victor Taelin's work, an audit ledger and a regenerated link index. Companion of the coursebook.
Open the compendium →Print each document from its own page (Print → Save as PDF); both are laid out for A4, with every exercise solution opened. PDFs of the last build: coursebook.pdf (A4) · compendium.pdf (A4).