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 년 전