caryoscelus/agda

작성자	SHA1 메시지	날짜
Jesper Cockx	e129903247 [ re #4908 ] Add explicit --guardedness flags to test cases	3 년 전
Jesper Cockx	853a0be7f4 [ re #4908 ] Update test cases after removal of sized-types from --safe	3 년 전
Andrés Sicard-Ramírez	fdbfa2350b [ std-lib] Updated submodule commit and some test cases.	6 년 전
Philipp Hausmann	344d141e5f [ tests ] Renamed exec-tests to compiler-tests	9 년 전