|
.github
|
c7617627fd
CI cabal/deploy on windows-2022: add MSYS path
|
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
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
2 роки тому |
|
cubical @ d29db7f5e6
|
84d1f047d2
[ workflow ] Update the cubical library for testing
|
2 роки тому |
|
doc
|
ce9b406819
[ #5793 ] JS backend: allow choosing CJS or AMD module style
|
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
|
ce9b406819
[ #5793 ] JS backend: allow choosing CJS or AMD module style
|
2 роки тому |
|
std-lib @ b85c5d19ce
|
deca662c1e
GHC-9.2.1: Bump standard-library to v1.7.1
|
3 роки тому |
|
test
|
5401dc157f
Re #5789: move test case to test/Succeed folder
|
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
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
2 роки тому |
|
CHANGELOG.md
|
6b13364d36
[ #5801 ] Added --syntactic-equality.
|
2 роки тому |
|
HACKING.md
|
dc56491ca9
Made it possible to override optimise-heavily in mk/config.mk.
|
3 роки тому |
|
LICENSE
|
2976b594a3
Update contributors for 2.6.2.1 (#5513)
|
3 роки тому |
|
Makefile
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
2 роки тому |
|
README.md
|
046f0d367a
[ README ] remove travis badge
|
3 роки тому |
|
Setup.hs
|
7f62bcb450
Force interface regeneration using --ignore-all-interfaces.
|
4 роки тому |
|
cabal.project.local.mtl23
|
467a4b9f9a
A cabal.project.local to build with mtl-2.3-rc3
|
2 роки тому |
|
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
ce9b406819
[ #5793 ] JS backend: allow choosing CJS or AMD module style
