 Nils Anders Danielsson
|
863bcdbdca
[ #5326 ] Changed the representations of highlighting information.
|
3 年之前 |
 Andreas Abel
|
bda742e7ad
[ #906 opt ] use SmallSet to manage AllowedReductions
|
4 年之前 |
 Jesper Cockx
|
36b94482a4
[ #4235 ] Also replace NonemptyList with NonEmpty in internal tests
|
5 年之前 |
|
Andreas Abel
|
7c6ca42965
[ Utils.(Assoc)List ] repetitive lookups via List.hasElem and AssocList.apply
|
5 年之前 |
|
Andreas Abel
|
5aa2862e0e
[ #3039 ] refactor: use NonemptyList for clusters
|
5 年之前 |
 Andrés Sicard-Ramírez
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
6 年之前 |
|
Andrés Sicard-Ramírez
|
ed29180806
[ internal-tests ] Renamed parent directory.
|
7 年之前 |
