caryoscelus/agda

Auteur	SHA1 Message	Date
Jesper Cockx	e129903247 [ re #4908 ] Add explicit --guardedness flags to test cases	il y a 3 ans
=	e8afe1393c Updated tests for changes to IO levels	il y a 3 ans
Andrés Sicard-Ramírez	362eaea7ae [ fixed #4368 ] Updated submodule commit and made required changes.	il y a 4 ans
Philipp Hausmann	344d141e5f [ tests ] Renamed exec-tests to compiler-tests	il y a 9 ans