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

ulfn 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though)		13 yıl önce
..
Pat.agda	6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though)	13 yıl önce