 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 години |
