|
.github
|
ba24aa5d51
Re #5773: workflows/deploy/windows: install ICU via pacman
|
2 роки тому |
|
.travis
|
9f97aa5d30
[ #4955 ] Used GHC 9.0.1 on Travis.
|
3 роки тому |
|
.vscode
|
dfca348740
dev/vscode: Add official Haskell extension to recommended extensions
|
4 роки тому |
|
benchmark
|
982e18cdcb
[ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)
|
3 роки тому |
|
cubical @ d29db7f5e6
|
84d1f047d2
[ workflow ] Update the cubical library for testing
|
2 роки тому |
|
doc
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
2 роки тому |
|
examples
|
3e609b7bb8
[ fix #418 ] no longer see through abstract in private+abstract type signatures
|
3 роки тому |
|
macros
|
06a20b7169
[ cleaning ] Removed .cvsignore files.
|
9 роки тому |
|
mk
|
3376fcd27e
[ re #5500 ] `make install-bin` and similar targets add a version suffix (#5503)
|
3 роки тому |
|
notes
|
1dd6cd7c86
[ fix #5473 ] give `agda.sty` a version and a date
|
3 роки тому |
|
src
|
9c190b6ebc
AMD
|
2 роки тому |
|
std-lib @ 43135bc9de
|
25724853ec
tmp
|
2 роки тому |
|
test
|
a480a5bb0e
[ fix #5787 ] Leave checking of modality of instance candidates to later phase
|
2 роки тому |
|
.authorspellings
|
c6423f0872
correct my name
|
5 роки тому |
|
.ghci
|
a309a8ac28
[ closed #4955 ] Tested with GHC 9.0.1.
|
3 роки тому |
|
.ghci-8.0
|
7716754f2a
[ #4521 ] Added the flag optimise-heavily to Agda.cabal.
|
3 роки тому |
|
.ghci-8.10
|
47aa688349
Made "cabal repl" work.
|
2 роки тому |
|
.ghci-8.2
|
49c53ecc0b
[ #4242 ] Added .ghci-8.10 file.
|
4 роки тому |
|
.ghci-8.6
|
59878ab981
[ closed #5298 ] Added GHC warnings to Agda.cabal.
|
3 роки тому |
|
.ghci-8.8
|
59878ab981
[ closed #5298 ] Added GHC warnings to Agda.cabal.
|
3 роки тому |
|
.ghci-9.0
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
3 роки тому |
|
.gitignore
|
9331dbd61c
replaced biginteger.js with native BigInt
|
3 роки тому |
|
.gitmodules
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
3 роки тому |
|
.hlint.yaml
|
88d5489918
[ ci ] tighten triggers; PR #5253 (src/hTags) ran unnecessary actions
|
3 роки тому |
|
.mailmap
|
e81e99146a
Update contributors for 2.6.2.1 (#5513)
|
3 роки тому |
|
.travis.yml
|
753377b146
[ closed #5436 ] Supported GHC 8.10.5.
|
3 роки тому |
|
Agda.cabal
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
2 роки тому |
|
CHANGELOG.md
|
b52a21df38
[ #5731 ] Added --save-metas and --no-save-metas.
|
2 роки тому |
|
HACKING.md
|
dc56491ca9
Made it possible to override optimise-heavily in mk/config.mk.
|
3 роки тому |
|
Issue5789.agda
|
cf7ea79a8e
[ fix #5789 ] Run macro for tactic argument with the proper modality
|
2 роки тому |
|
LICENSE
|
2976b594a3
Update contributors for 2.6.2.1 (#5513)
|
3 роки тому |
|
Makefile
|
456a0daa04
Makefile: a dedicated ghc-compiler-test goal for MALonzo/Lazy
|
2 роки тому |
|
README.md
|
046f0d367a
[ README ] remove travis badge
|
3 роки тому |
|
Setup.hs
|
7f62bcb450
Force interface regeneration using --ignore-all-interfaces.
|
4 роки тому |
|
cabal.project.tc
|
0b71569945
Re #4216 #4883: New goal `make v2-type-check` using `cabal v2-build`
|
2 роки тому |
|
fix-whitespace.yaml
|
8d75579c41
[ #5740, #4506 ] Optimised (?) readTextFile.
|
2 роки тому |
|
flake.lock
|
4dee747be7
Add Nix flake to allow Nix users to install from git.
|
3 роки тому |
|
flake.nix
|
4dee747be7
Add Nix flake to allow Nix users to install from git.
|
3 роки тому |
|
hie.yaml
|
544178be57
dev: Add hie.yaml for Haskell IDE Engine discovery
|
4 роки тому |
|
release.sh
|
94df120028
Release script.
|
10 роки тому |
|
stack-8.0.2.yaml
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 роки тому |
|
stack-8.10.7.yaml
|
f204975956
[ stackage ] Bump stackage LTS versions
|
2 роки тому |
|
stack-8.2.2.yaml
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 роки тому |
|
stack-8.4.4.yaml
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 роки тому |
|
stack-8.6.5.yaml
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 роки тому |
|
stack-8.8.4.yaml
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 роки тому |
|
stack-9.0.1.yaml
|
4c6d582c9a
Fix #5768: CI/Windows: use text-icu-0.8.0 with latest ICU
|
2 роки тому |
|
stack-9.0.2.yaml
|
f204975956
[ stackage ] Bump stackage LTS versions
|
2 роки тому |
|
stack-9.2.1.yaml
|
1d92bc04bf
[ #5442 ] Agda.cabal: tested with 9.2.1
|
3 роки тому |
|
touchup.sh
|
32664c045f
Refactoring guided by hlint (#4479)
|
4 роки тому |
caryoscelus
9c190b6ebc
AMD
