 Nils Anders Danielsson
|
62638020d7
Made the code in Agda.Utils.Cluster more general.
|
%!s(int64=2) %!d(string=hai) anos |
 Andreas Abel
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
%!s(int64=3) %!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
|
5aa2862e0e
[ #3039 ] refactor: use NonemptyList for clusters
|
%!s(int64=5) %!d(string=hai) anos |
 Andrés Sicard-Ramírez
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
%!s(int64=6) %!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 |
