caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ 9c190b6ebc223c54da4defa075c673faae7fab56

Ulf Norell 3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures		4 lat temu
..
bag	3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures	4 lat temu