 Nils Anders Danielsson
|
62638020d7
Made the code in Agda.Utils.Cluster more general.
|
2 年之前 |
 Andreas Abel
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
3 年之前 |
 Jesper Cockx
|
36b94482a4
[ #4235 ] Also replace NonemptyList with NonEmpty in internal tests
|
5 年之前 |
|
Andreas Abel
|
5aa2862e0e
[ #3039 ] refactor: use NonemptyList for clusters
|
5 年之前 |
 Andrés Sicard-Ramírez
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
6 年之前 |
|
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 年之前 |
