https://github.com/agda/agda
Tip revision: 57aa29153db7507e3d677be43b06221faa6dcd28 authored by Nils Anders Danielsson on 11 October 2022, 19:21:30 UTC
[ #5673, #6146 ] Added support for relative paths.
[ #5673, #6146 ] Added support for relative paths.
Tip revision: 57aa291
File | Mode | Size |
---|---|---|
.github | ||
.travis | ||
.vscode | ||
benchmark | ||
cubical @ 7a84b2c | ||
doc | ||
examples | ||
macros | ||
mk | ||
notes | ||
src | ||
std-lib @ 35cd415 | ||
test | ||
.authorspellings | -rw-r--r-- | 2.2 KB |
.gitignore | -rw-r--r-- | 1.5 KB |
.gitmodules | -rw-r--r-- | 181 bytes |
.hlint.yaml | -rw-r--r-- | 4.9 KB |
.mailmap | -rw-r--r-- | 5.7 KB |
.travis.yml | -rw-r--r-- | 4.7 KB |
Agda.cabal | -rw-r--r-- | 47.5 KB |
CHANGELOG.md | -rw-r--r-- | 9.9 KB |
HACKING.md | -rw-r--r-- | 23.5 KB |
LICENSE | -rw-r--r-- | 5.1 KB |
Makefile | -rw-r--r-- | 28.1 KB |
README.md | -rw-r--r-- | 1.9 KB |
Setup.hs | -rw-r--r-- | 5.3 KB |
cabal.project.local.mtl23 | -rw-r--r-- | 2.0 KB |
cabal.project.tc | -rw-r--r-- | 391 bytes |
fix-whitespace.yaml | -rw-r--r-- | 2.0 KB |
flake.lock | -rw-r--r-- | 966 bytes |
flake.nix | -rw-r--r-- | 1.7 KB |
hie.yaml | -rw-r--r-- | 547 bytes |
release.sh | -rwxr-xr-x | 5.6 KB |
stack-8.0.2.yaml | -rw-r--r-- | 1013 bytes |
stack-8.10.7.yaml | -rw-r--r-- | 210 bytes |
stack-8.2.2.yaml | -rw-r--r-- | 953 bytes |
stack-8.4.4.yaml | -rw-r--r-- | 729 bytes |
stack-8.6.5.yaml | -rw-r--r-- | 498 bytes |
stack-8.8.4.yaml | -rw-r--r-- | 323 bytes |
stack-9.0.2.yaml | -rw-r--r-- | 209 bytes |
stack-9.2.4.yaml | -rw-r--r-- | 174 bytes |
touchup.sh | -rwxr-xr-x | 303 bytes |