Skip to content

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

Merged
gallais merged 7 commits into
agda:masterfrom
jamesmckinna:issue2196
Nov 14, 2023
Merged

documentation: fix link to installation-guide, README.agda, README.md...#2197
gallais merged 7 commits into
agda:masterfrom
jamesmckinna:issue2196

Merge branch 'fix-links' into issue2196

83f5be2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs