Commit e08c6e2

committed

in the translation section, i) every symbol of the algebraic syntax is now linked to its definition and ii) variables are marked up

1 parent b5336fa commit e08c6e2Copy full SHA for e08c6e2

1 file changed

+164

-232

lines changed

+164

-232

lines changed

Comments

(0)