Adds links to algebraic syntax symbols within the translation section#245

Merged

hartig merged 8 commits intomainfrom

Issue228_Translation

Aug 11, 2025

Commits on Jul 6, 2025

in the translation section, i) every symbol of the algebraic syntax is now linked to its definition and ii) variables are marked up
hartig
committed
further clarifications in translation algorithm
hartig
committed
adds issue notes for he issues discovered while working on this PR
hartig
committed

Commits on Jul 7, 2025

Minor edits from Greg's code review

hartig
and
kasei
authored

Commits on Jul 22, 2025

Commits on Aug 11, 2025