 Nils Anders Danielsson
|
0606bf2ce0
[ #5431 ] Added --ghc-strict-data.
|
3 years ago |
|
Nils Anders Danielsson
|
b1a7f085e8
[ #4701 ] Added support for --erased-cubical to the JS backend.
|
3 years ago |
|
Nils Anders Danielsson
|
7181c83f23
[ #4701 ] Added support for --erased-cubical to the GHC backend.
|
3 years ago |
|
Nils Anders Danielsson
|
ed4584a1c6
[ #4701 ] Added --erased-cubical.
|
3 years ago |
|
Nils Anders Danielsson
|
98251e6c51
[ #4701 ] The GHC and JS backends now reject cubical code.
|
3 years ago |
 Andrés Sicard-Ramírez
|
1bd303bfd6
[ #5154 ] Updated list of closed issues.
|
3 years ago |
|
Nils Anders Danielsson
|
465e46a20b
[ #4638 ] The text in the changelog was out of date.
|
3 years ago |
 Andrés Sicard-Ramírez
|
3b61d4cd09
[ closed #5404 ] 2.6.2 -> latest
|
3 years ago |
|
Andrés Sicard-Ramírez
|
64bfcfb4bf
[ #5154 ] Added list of closed issues.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
f36caf6039
[ CHANGELOG ] Cosmetic changes.
|
3 years ago |
 Jesper Cockx
|
e64e79bc26
[ changelog ] Add some line breaks
|
3 years ago |
|
Jesper Cockx
|
f3061d5069
[ re #5154 ] Add highlights section to changelog for 2.6.2
|
3 years ago |
|
Jesper Cockx
|
898165d2ee
[ re #858 ] Document in changelog and user manual
|
3 years ago |
|
Jesper Cockx
|
8eacfe6762
[ci-skip] Fix typo in changelog
|
3 years ago |
|
Jesper Cockx
|
7bc919262a
[ re #4908 ] Disable --guardedness and --sized-types by default
|
3 years ago |
 Andrea Vezzosi
|
fd9680c49c
[ doc ] moved --guarded lower in the CHANGELOG and fixed typo
|
3 years ago |
|
Andrea Vezzosi
|
de4ff8939b
[ doc ] added `--guarded` to the CHANGELOG
|
3 years ago |
 Ulf Norell
|
c599239589
[ close #5367 ] add changelog entry for new required parens
|
3 years ago |
|
Nils Anders Danielsson
|
a1bda7bb28
Fixed #5335.
|
3 years ago |
|
Jesper Cockx
|
4d60464bfa
[ re #4908 ] Sized types are no longer safe
|
3 years ago |
|
Nils Anders Danielsson
|
26d4736488
[ #5317 ] The reflection machinery now supports quantities (in Arg).
|
3 years ago |
 Andreas Abel
|
efdada52ba
[ fix #5352 ] new option --no-double-check for .flags file in testsuite
|
3 years ago |
|
Andreas Abel
|
c777007a68
[ fix #1145 ] Stack layout kewords (#5319)
|
3 years ago |
 Artem Shinkarov
|
94cfe2ef3e
LaTeX output: preserve spaces in comments. (#5320)
|
3 years ago |
|
Nils Anders Danielsson
|
d6cec561d7
[ #4525 ] Erased pattern-matching lambdas.
|
3 years ago |
|
Nils Anders Danielsson
|
538c3a4bb8
[ #4521, #5279 ] Noted that some changes can make Agda slower.
|
3 years ago |
|
Nils Anders Danielsson
|
4e1f7beb76
[ #5279 ] Rearranged the changelog.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
a309a8ac28
[ closed #4955 ] Tested with GHC 9.0.1.
|
3 years ago |
|
Jesper Cockx
|
0df0b8c2d4
[ re #3553 ] Add to changelog
|
3 years ago |
 G. Allais
|
ecb93230ad
[ re #4041 ] internalising the inspect idiom (#4084)
|
3 years ago |
