caryoscelus/agda

Autor	SHA1 Wiadomość	Data
Jesper Cockx	0fc6b558b0 [ re #5386 ] Address two comments by @nad	3 lat temu
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	5 lat temu
Ulf Norell	a751e811a8 [ test ] use Agda.Builtin.* in test/Common	8 lat temu
Dan Rosén	aeb82f211d Remove --universe-polymorphism in test/Common	13 lat temu
ulfn	16a2d0386b moved Coinduction.agda in test/succeed to test/Common	13 lat temu