Adds links to algebraic syntax symbols within the evaluation semantics section#243

Merged

hartig merged 1 commit intomainfrom

Issue228_EvalSemanticsSection

Jul 3, 2025

Commits on Jun 27, 2025

in the eval.semantics section, every mention of a symbol of the algebraic syntax is now linked to the definition of that symbol
hartig
committed