caryoscelus/agda

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