documentation: fix link to `installation-guide`, `README.agda`, `README.md`...#2197

Merged

gallais merged 7 commits intoagda:masterfrom

jamesmckinna:issue2196

Nov 14, 2023

Commits on Nov 7, 2023

fix link to `installation-guide`
jamesmckinna
committed

Commits on Nov 14, 2023