fredefox/cat
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Update readme

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-03-07 15:40:52 +01:00
parent 3749124d09
commit 50f51db4fc
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -14,10 +14,12 @@ Dependencies
------------ ------------
To succesfully compile the following is needed: To succesfully compile the following is needed:
* Agda version >= [`707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43) * The Agda release candidate 2.5.4[^1]
* [Agda Standard Library](https://github.com/agda/agda-stdlib) * The experimental branch of [Agda Standard Library](https://github.com/agda/agda-stdlib)
* [Cubical](https://github.com/Saizan/cubical-demo/) * [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 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. is in constant flux. It's most likely the newest one.