https://github.com/agda/agda
Tip revision: 05138510ac152b6fbb6130467502095073ba07cb authored by Andreas Abel on 05 April 2024, 09:41:20 UTC
Makefile: add AGDA_MODE to debug output
Makefile: add AGDA_MODE to debug output
Tip revision: 0513851
File | Mode | Size |
---|---|---|
.github | ||
.vscode | ||
benchmark | ||
cubical @ a10e25a | ||
doc | ||
examples | ||
mk | ||
notes | ||
src | ||
std-lib @ 6f884dd | ||
test | ||
.envrc | -rw-r--r-- | 155 bytes |
.gitignore | -rw-r--r-- | 1.7 KB |
.gitmodules | -rw-r--r-- | 175 bytes |
.hlint.yaml | -rw-r--r-- | 5.1 KB |
.mailmap | -rw-r--r-- | 7.2 KB |
.readthedocs.yaml | -rw-r--r-- | 845 bytes |
Agda.cabal | -rw-r--r-- | 32.6 KB |
CHANGELOG.md | -rw-r--r-- | 4.4 KB |
CITATION.cff | -rw-r--r-- | 244 bytes |
HACKING.md | -rw-r--r-- | 22.2 KB |
LICENSE | -rw-r--r-- | 2.3 KB |
Makefile | -rw-r--r-- | 32.4 KB |
README.md | -rw-r--r-- | 1.7 KB |
Setup.hs | -rw-r--r-- | 5.2 KB |
cabal.project.local.mtl23 | -rw-r--r-- | 1.4 KB |
cabal.project.tc | -rw-r--r-- | 391 bytes |
fix-whitespace.yaml | -rw-r--r-- | 2.0 KB |
flake.lock | -rw-r--r-- | 1.5 KB |
flake.nix | -rw-r--r-- | 2.5 KB |
hie-stack.yaml | -rw-r--r-- | 547 bytes |
release.sh | -rwxr-xr-x | 5.7 KB |
stack-8.10.7.yaml | -rw-r--r-- | 238 bytes |
stack-8.6.5.yaml | -rw-r--r-- | 616 bytes |
stack-8.8.4.yaml | -rw-r--r-- | 332 bytes |
stack-9.0.2.yaml | -rw-r--r-- | 237 bytes |
stack-9.2.8.yaml | -rw-r--r-- | 190 bytes |
stack-9.4.2.yaml | -rw-r--r-- | 2.6 KB |
stack-9.4.8.yaml | -rw-r--r-- | 273 bytes |
stack-9.6.4.yaml | -rw-r--r-- | 160 bytes |
stack-9.8.2.yaml | -rw-r--r-- | 169 bytes |
touchup.sh | -rwxr-xr-x | 303 bytes |