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

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 години