https://github.com/agda/cubical
Tip revision: c26160bec3e8edf3d83597add765a01cc0bf982b authored by Felix Cherubini on 23 March 2024, 10:08:13 UTC
add latest release (checked locally) (#1114)
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 |