Skip to content

Saizan/cubical-demo

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages