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 سال پیش