caryoscelus/agda

作者	SHA1 備註	提交日期
Jesper Cockx	0fc6b558b0 [ re #5386 ] Address two comments by @nad	3 年之前
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	5 年之前
Ulf Norell	a751e811a8 [ test ] use Agda.Builtin.* in test/Common	8 年之前
Dan Rosén	aeb82f211d Remove --universe-polymorphism in test/Common	13 年之前
ulfn	16a2d0386b moved Coinduction.agda in test/succeed to test/Common	13 年之前