Merge branch 'master' of github.com:fredefox/cat

This commit is contained in:
Frederik Hanghøj Iversen 2018-02-23 12:58:57 +01:00
commit 151d5c995b

View file

@ -14,7 +14,7 @@ Dependencies
------------ ------------
To succesfully compile the following is needed: 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) * [Agda Standard Library](https://github.com/agda/agda-stdlib)
* [Cubical](https://github.com/Saizan/cubical-demo/) * [Cubical](https://github.com/Saizan/cubical-demo/)