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