Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd_patch
Grenar Taggar
agda
/
test
/
Internal
/
Termination
Robert Estelle 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving 4 år sedan
..
CallGraph.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 år sedan
CallMatrix.hs 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving 4 år sedan
Order.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 år sedan
Semiring.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. 6 år sedan
SparseMatrix.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. 6 år sedan
Termination.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 år sedan