https://github.com/agda/agda
Tip revision: 62b52ae17820517bc1a7aa249f9b31d8d54b4c29 authored by Andreas Abel on 30 September 2022, 19:05:31 UTC
Fix #6066: `pattern` with eta record: document; warn
Fix #6066: `pattern` with eta record: document; warn
Tip revision: 62b52ae
| File | Mode | Size |
|---|---|---|
| .github | ||
| .travis | ||
| .vscode | ||
| benchmark | ||
| cubical @ 7a84b2c | ||
| doc | ||
| examples | ||
| macros | ||
| mk | ||
| notes | ||
| src | ||
| std-lib @ 95270b7 | ||
| 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.6 KB |
| HACKING.md | -rw-r--r-- | 22.2 KB |
| LICENSE | -rw-r--r-- | 5.1 KB |
| Makefile | -rw-r--r-- | 27.9 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 |
