caryoscelus/agda

Tekijä	SHA1 Viesti	Päivämäärä
Jesper Cockx	e129903247 [ re #4908 ] Add explicit --guardedness flags to test cases	3 vuotta sitten
=	e8afe1393c Updated tests for changes to IO levels	3 vuotta sitten
Andrés Sicard-Ramírez	ec3e855918 [ std-lib ] Updated submodule commit and some test cases.	6 vuotta sitten
Philipp Hausmann	344d141e5f [ tests ] Renamed exec-tests to compiler-tests	9 vuotta sitten