caryoscelus/agda

作者	SHA1 备注	提交日期
Ulf Norell	b27f6df3ed [ test ] put all the with-stdlib compiler tests in AllStdLib.agda	8 年之前
Andrés Sicard-Ramírez	7d43f32e37 [ #1844 ] Added test case for testing MAlonzo on all the standard library [ci skip].	8 年之前