20 June 2019: DEPRECATED
last known compatible Agda commit: fdb43152aa06a8964a1a9b2add82c0df58bacb4a
An up-to-date library for Cubical Agda can be found at http://github.com/agda/cubical
Instructions to install a version of Agda compatible with this library:
git clone https://github.com/agda/agda
cd agda
git checkout fdb43152aa06a8964a1a9b2add82c0df58bacb4a
cabal install