From 50f51db4fc7eaad0e88542d66051c1545c3b4636 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Wed, 7 Mar 2018 15:40:52 +0100 Subject: [PATCH] Update readme --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 34467b0..8088a60 100644 --- a/README.md +++ b/README.md @@ -14,10 +14,12 @@ Dependencies ------------ To succesfully compile the following is needed: -* Agda version >= [`707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43) -* [Agda Standard Library](https://github.com/agda/agda-stdlib) +* The Agda release candidate 2.5.4[^1] +* The experimental branch of [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) + It's important to have the right version of these - but which one is the right is in constant flux. It's most likely the newest one.