caryoscelus/agda

作者	SHA1 備註	提交日期
Andrés Sicard-Ramírez	7d43f32e37 [ #1844 ] Added test case for testing MAlonzo on all the standard library [ci skip].	8 年之前
Ulf Norell	a0f72105b4 [ test ] agda-lib file in test/compiler/with-stdlib	9 年之前