From 7b7fc5d9cc47801b27c354810531847a22a5897a Mon Sep 17 00:00:00 2001 From: Gurmeet-Singh Date: Wed, 8 Nov 2023 00:52:52 +0000 Subject: [PATCH] Fixed broken links in README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f9489e81f3..d1c83a3103 100644 --- a/README.md +++ b/README.md @@ -18,9 +18,9 @@ If you're looking to find your way around the library, there are several different ways to get started: - The library's structure and the associated design choices are described -in the [README.agda](https://github.com/agda/agda-stdlib/tree/master/README.agda). +in the [README.agda](https://github.com/agda/agda-stdlib/tree/master/doc/README.agda). -- The [README folder](https://github.com/agda/agda-stdlib/tree/master/README), +- The [README folder](https://github.com/agda/agda-stdlib/tree/master/doc/README), which mirrors the structure of the main library, contains examples of how to use some of the more common modules. Feel free to [open a new issue](https://github.com/agda/agda-stdlib/issues/new) if there's a particular module you feel could do with some more documentation. @@ -34,7 +34,7 @@ in the library except the deprecated ones. ## Installation instructions -See the [installation instructions](https://github.com/agda/agda-stdlib/blob/master/notes/installation-guide.md) for the latest version of the standard library. +See the [installation instructions](https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md) for the latest version of the standard library. #### Old versions of Agda