Inicio Explorar Axuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd
Ramas Etiquetas
agda
/
test
/
Internal
/
Termination
Robert Estelle 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving %!s(int64=4) %!d(string=hai) anos
..
CallGraph.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. %!s(int64=7) %!d(string=hai) anos
CallMatrix.hs 49a3f78ff6 cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving %!s(int64=4) %!d(string=hai) anos
Order.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. %!s(int64=7) %!d(string=hai) anos
Semiring.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. %!s(int64=7) %!d(string=hai) anos
SparseMatrix.hs 108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function. %!s(int64=7) %!d(string=hai) anos
Termination.hs 1addd74b74 [ closed #2861 ] Migrated internal tests to `agda-tests` test-suite. %!s(int64=7) %!d(string=hai) anos