| .. |
|
CallGraph.hs
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
пре 6 година |
|
CallMatrix.hs
|
49a3f78ff6
cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving
|
пре 4 година |
|
Order.hs
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
пре 6 година |
|
Semiring.hs
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
пре 6 година |
|
SparseMatrix.hs
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
пре 6 година |
|
Termination.hs
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
пре 6 година |
Robert Estelle
49a3f78ff6
cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving