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

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