cubical-demo

cubical-demo copied to clipboard

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