24/02/2017: Requires the "master" branch of Agda:
git clone https://github.com/agda/agda
cd agda
cabal install
bafain/cubical-demo
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
24/02/2017: Requires the "master" branch of Agda:
git clone https://github.com/agda/agda
cd agda
cabal install