caryoscelus/agda

작성자	SHA1 메시지	날짜
Jesper Cockx	e129903247 [ re #4908 ] Add explicit --guardedness flags to test cases	3 년 전
=	e8afe1393c Updated tests for changes to IO levels	3 년 전
Ulf Norell	2f212bf556 Add --auto-inline and make it off by default	4 년 전
Andrés Sicard-Ramírez	ec3e855918 [ std-lib ] Updated submodule commit and some test cases.	6 년 전
Andrés Sicard-Ramírez	c2f27e851b [ compiler test-suite ] Added type signature.	8 년 전
Andrés Sicard-Ramírez	69de75ac78 [ test-suite ] Split a compiler test.	8 년 전