From 2e11a2390fd15095329112b2339ef9fa27300488 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Tue, 8 May 2018 23:05:45 +0200 Subject: [PATCH] Shorten link --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index eb7850f..a865e23 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,8 @@ To succesfully compile the following is needed: * [Agda Standard Library](https://github.com/agda/agda-stdlib) * [Cubical](https://github.com/Saizan/cubical-demo/) -[^1]: At least version >= [`707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43) +[^1]: At least version >= + [`707ce6042`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43) The version of the libraries that this depends on can be shown by executing the following command in the root directory of the project: