caryoscelus/agda

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