Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd_patch
Gałęzie Tagi
agda
/
test
/
Internal
/
Termination
Robert Estelle 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving 4 lat temu
..
CallGraph.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 lat temu
CallMatrix.hs 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving 4 lat temu
Order.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 lat temu
Semiring.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. 6 lat temu
SparseMatrix.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. 6 lat temu
Termination.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. 6 lat temu