 Nils Anders Danielsson
|
6b13364d36
[ #5801 ] Added --syntactic-equality.
|
2 years ago |
 Ulf Norell
|
247bc3efa0
[ fix #5781 ] add --profile flag instead of abusing -v for profiling options
|
2 years ago |
|
Nils Anders Danielsson
|
b52a21df38
[ #5731 ] Added --save-metas and --no-save-metas.
|
2 years ago |
|
Nils Anders Danielsson
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
2 years ago |
 Liang-Ting Chen
|
64a6b250ca
Fix whitespace
|
2 years ago |
|
Liang-Ting Chen
|
5144bd3890
[ update ] Describe `pattErr` and `formatErrorParts` briefly
|
2 years ago |
 Jesper Cockx
|
1eaf1a5e34
[ reflection ] Allow running of erased macros
|
2 years ago |
|
Liang-Ting Chen
|
9d77579d42
Update the documentation
|
2 years ago |
 Andreas Abel
|
d8b06a90ee
Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md
|
3 years ago |
|
Jesper Cockx
|
fbb8bc632e
[ reflection ] Add new primitive `getInstances`
|
3 years ago |
|
Nils Anders Danielsson
|
4f95e08517
Fixed #5441.
|
3 years ago |
|
Nils Anders Danielsson
|
a9175abbdb
[ DOT backend ] The graphs no longer contain "redundant" edges.
|
3 years ago |
|
Nils Anders Danielsson
|
4c0fd41670
[ DOT backend, #5634 ] Added --dependency-graph-include.
|
3 years ago |
|
Nils Anders Danielsson
|
2dc31706af
[ #5644 ] Library files can no longer be below the project root.
|
3 years ago |
 Maštarija
|
9331dbd61c
replaced biginteger.js with native BigInt
|
3 years ago |
|
Nils Anders Danielsson
|
53c08b5dfe
Fixed #394: Syntax can now use lambdas with multiple arguments.
|
3 years ago |
|
Nils Anders Danielsson
|
d8145b921a
[ #4786 ] Made parameters erased.
|
3 years ago |
|
Nils Anders Danielsson
|
edd8334381
[ #5427 ] Removed support for subtyping for erasure and irrelevance.
|
3 years ago |
|
Nils Anders Danielsson
|
138f578c08
[ #5601 ] Now --erased-cubical supports higher constructors.
|
3 years ago |
|
Nils Anders Danielsson
|
40fd57ebfe
Restored some deleted changelog entries.
|
3 years ago |
 Andrés Sicard-Ramírez
|
3a4df95062
Revert "Revert "[ #5513 ] Added fresh CHANGELOG for 2.6.3.""
|
3 years ago |
|
Andrés Sicard-Ramírez
|
0622533f32
Revert "[ #5513 ] Added fresh CHANGELOG for 2.6.3."
|
3 years ago |
|
Andrés Sicard-Ramírez
|
699255adf3
[ #5513 ] Added fresh CHANGELOG for 2.6.3.
|
3 years ago |
|
Andrés Sicard-Ramírez
|
2a07bfdf2c
[ closed #5514 ] Supported GHC 8.10.6.
|
3 years ago |
|
Andreas Abel
|
23e07c0389
[ fix #5471 ] by swapping \textcolor and \AgdaXXXStyle in agda.sty
|
3 years ago |
|
Andreas Abel
|
1dd6cd7c86
[ fix #5473 ] give `agda.sty` a version and a date
|
3 years ago |
|
Andreas Abel
|
766c38ea29
[ #5433 ] organize the Agda data dir
|
3 years ago |
 Evan Cavallo
|
007a26fb5f
[cubical] Fibrant unbased path types (#5439)
|
3 years ago |
|
Nils Anders Danielsson
|
044843c528
Renamed CHANGELOG.md to doc/release-notes/2.6.2.md.
|
3 years ago |
|
Nils Anders Danielsson
|
c7083badc0
[ #5431 ] Added --ghc-strict.
|
3 years ago |
