https://github.com/agda/cubical
History
Tip revision: c26160bec3e8edf3d83597add765a01cc0bf982b authored by Felix Cherubini on 23 March 2024, 10:08:13 UTC
add latest release (checked locally) (#1114)
Tip revision: c26160b
File Mode Size
.github
Cubical
.gitignore -rw-r--r-- 146 bytes
CITATION.cff -rw-r--r-- 227 bytes
CONTRIBUTING.md -rw-r--r-- 5.5 KB
Everythings.hs -rw-r--r-- 5.2 KB
GNUmakefile -rw-r--r-- 1.6 KB
INSTALL.md -rw-r--r-- 8.5 KB
LICENSE -rw-r--r-- 1.5 KB
MAKEWINDOWS.md -rw-r--r-- 1.1 KB
NAMING.md -rw-r--r-- 2.6 KB
README.md -rw-r--r-- 5.5 KB
RELEASE.md -rw-r--r-- 1.4 KB
cabal.project -rw-r--r-- 12 bytes
cubical-utils.cabal -rw-r--r-- 404 bytes
cubical.agda-lib -rw-r--r-- 100 bytes
default.nix -rw-r--r-- 305 bytes
fix-whitespace.yaml -rw-r--r-- 1.3 KB
flake.lock -rw-r--r-- 2.5 KB
flake.nix -rw-r--r-- 1.7 KB

README.md

back to top