From 1b6798f2299d7efa8d79af5f190e8a7ade802877 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Wed, 21 Feb 2018 18:23:55 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index dc8c40e..34467b0 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ Dependencies ------------ To succesfully compile the following is needed: -* Agda version >= `707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`. +* Agda version >= [`707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43) * [Agda Standard Library](https://github.com/agda/agda-stdlib) * [Cubical](https://github.com/Saizan/cubical-demo/)