 caryoscelus
|
9c190b6ebc
AMD
|
2 years ago |
|
caryoscelus
|
25724853ec
tmp
|
2 years ago |
|
caryoscelus
|
07add55887
js amd style modules
|
2 years ago |
 Jesper Cockx
|
cf7ea79a8e
[ fix #5789 ] Run macro for tactic argument with the proper modality
|
2 years ago |
|
Jesper Cockx
|
a480a5bb0e
[ fix #5787 ] Leave checking of modality of instance candidates to later phase
|
2 years ago |
 Ulf Norell
|
30f3dd278a
[ fix #5762 ] don't check executable existence and permissions until it's called
|
2 years ago |
|
Jesper Cockx
|
c8acba2b41
[ fix #5765 ] Take environment quantity into account in LHS unifier
|
2 years ago |
|
Jesper Cockx
|
4f8536d982
[ refactor ] Clean up some debug statements in TC.LHS.Unify
|
2 years ago |
|
Ulf Norell
|
dc35906768
[ fix #5763 ] don't include operators with binders when parsing patterns
|
2 years ago |
|
Ulf Norell
|
ba99b8e183
[ fix #5764 ] improve documentation for dummy terms
|
2 years ago |
 Andreas Abel
|
7028350ce1
Fix #5773: doc: link to ICU installation instructions
|
2 years ago |
|
Andreas Abel
|
19f685091e
Fix #5758: MAlonzo: put -Wno-overlapping-patterns in generated .hs files
|
2 years ago |
|
Andreas Abel
|
6f1e888435
Re #5758: output LANGUAGE pragmas in alphabetical order and 1 per line
|
2 years ago |
|
Andreas Abel
|
ad3145852a
Cosmetical changes in MAlonzo.Compiler
|
2 years ago |
|
Andreas Abel
|
456a0daa04
Makefile: a dedicated ghc-compiler-test goal for MALonzo/Lazy
|
2 years ago |
|
Andreas Abel
|
ba24aa5d51
Re #5773: workflows/deploy/windows: install ICU via pacman
|
2 years ago |
|
Andreas Abel
|
ff82d4ab90
Re #5773: update ICU installation in CI workflow cabal.yml
|
2 years ago |
|
Andreas Abel
|
4c6d582c9a
Fix #5768: CI/Windows: use text-icu-0.8.0 with latest ICU
|
2 years ago |
 Nils Anders Danielsson
|
9911f73061
Fixed #5760.
|
2 years ago |
|
Andreas Abel
|
5e60026635
Re #5773: Fix Haddock CI by updating to ubuntu-latest
|
2 years ago |
|
Nils Anders Danielsson
|
b52a21df38
[ #5731 ] Added --save-metas and --no-save-metas.
|
2 years ago |
|
Nils Anders Danielsson
|
3a53141810
Added instantiateWhen.
|
2 years ago |
|
Nils Anders Danielsson
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
2 years ago |
|
Nils Anders Danielsson
|
d7af4275e3
[ #5731 ] Added a separate meta-store for solved meta-variables.
|
2 years ago |
|
Nils Anders Danielsson
|
65a0e5b810
Removed some dead code.
|
2 years ago |
|
Nils Anders Danielsson
|
62638020d7
Made the code in Agda.Utils.Cluster more general.
|
2 years ago |
|
Nils Anders Danielsson
|
00c9b54bd5
Changed the implementation of traverseTermM for Dummy.
|
2 years ago |
|
Nils Anders Danielsson
|
83e84cbae1
Changed the implementation of namesAndMetasIn'.
|
2 years ago |
|
Nils Anders Danielsson
|
5991b03070
Added some NamesIn instances.
|
2 years ago |
|
Nils Anders Danielsson
|
e1b2ebf7aa
Made NamesIn more general.
|
2 years ago |
