 Ulf Norell
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
пре 3 година |
 Nils Anders Danielsson
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
пре 3 година |
 Andreas Abel
|
8d77d03e4b
Re #5659: Allow equivalence-0.4
|
пре 3 година |
|
Andreas Abel
|
0b0d7cfcaf
Fix #5659: port instance Monad (TCMT m) to transformers-0.6
|
пре 3 година |
 Liang-Ting Chen
|
f204975956
[ stackage ] Bump stackage LTS versions
|
пре 3 година |
|
Andreas Abel
|
9428b1db46
[ cabal ] allow text-2.0; remove duplicate build constraints
|
пре 3 година |
|
Andreas Abel
|
d8b06a90ee
Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md
|
пре 3 година |
|
Andreas Abel
|
1d92bc04bf
[ #5442 ] Agda.cabal: tested with 9.2.1
|
пре 3 година |
|
Andreas Abel
|
a0da14cf6e
Relax upper bound of `hashtables` to < 1.4
|
пре 3 година |
|
Andreas Abel
|
f8809e640e
Support GHC 9.2: bump base, Cabal; update CI
|
пре 3 година |
 Maštarija
|
9331dbd61c
replaced biginteger.js with native BigInt
|
пре 3 година |
|
Andreas Abel
|
aef821d8b2
[ cabal ] allow hashable-1.4
|
пре 3 година |
|
Andreas Abel
|
8037346494
Fix #5593: compatibility with aeson-2
|
пре 3 година |
|
Andreas Abel
|
db3ecc0da5
[ cabal, stack ] Bump tasty-silver, time, transformers
|
пре 3 година |
|
Liang-Ting Chen
|
4e68e1a0fc
[ fix ] Update Agda.cabal with stack-8.10.7.yaml
|
пре 3 година |
|
Liang-Ting Chen
|
90bb34b547
[ cabal ] Tested with GHC 8.10.7
|
пре 3 година |
|
Andreas Abel
|
b44a0bd828
[ fix #5302 ] make 'cabal test' work for part of the test-suite (#5536)
|
пре 3 година |
 Andrés Sicard-Ramírez
|
168371e647
[ ghc-8.10.6 ] Used LTS 18.7.
|
пре 3 година |
 Andrea Vezzosi
|
621894f5e8
Merge branch 'issue3733'
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
2a07bfdf2c
[ closed #5514 ] Supported GHC 8.10.6.
|
пре 3 година |
|
Andrea Vezzosi
|
145dc625df
[ re #3733 ] Coverage: missing clauses code moved to own module.
|
пре 3 година |
|
Andrea Vezzosi
|
d845567b76
[ re #3733 ] Unify: make left inverse code to its own module.
|
пре 3 година |
|
Andreas Abel
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
пре 3 година |
|
Andreas Abel
|
766c38ea29
[ #5433 ] organize the Agda data dir
|
пре 3 година |
|
Andreas Abel
|
377409c66c
[ fix #5433 ] place HTML-backend files in data/html
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
d953fa7a5d
[ #5154, Agda ] Added Agda 2.6.2 CHANGELOG.
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
997ca3a842
[ #5154 ] Bumped version to 2.6.3.
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
753377b146
[ closed #5436 ] Supported GHC 8.10.5.
|
пре 3 година |
|
Nils Anders Danielsson
|
c7083badc0
[ #5431 ] Added --ghc-strict.
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
e859301977
[ #5297, Agda.cabal ] Added `stack-9.0.1.yaml`.
|
пре 3 година |
