docs: proof-reading the tutorial#2636

Merged

MatthewDaggitt merged 4 commits intoagda:masterfrom

ulidtko:docs/proofread-readme

May 27, 2025

Commits on Mar 3, 2025

docs: proof-reading the tutorial
ulidtko
committed

Commits on Apr 16, 2025

Merge branch 'master' into docs/proofread-readme
jamesmckinna
authored

Commits on May 26, 2025

Update doc/README/Design/Hierarchies.agda

MatthewDaggitt
and
jamesmckinna
authored

Commits on May 27, 2025

added re-phrased paragraph
jamesmckinna
committed