Skip to content

Merge branch 'fix-links' into issue2196

83f5be2
Select commit
Loading
Failed to load commit list.
Merged

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

Merge branch 'fix-links' into issue2196
83f5be2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs