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 年之前
..
Pat.agda	6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though)	13 年之前