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

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 年之前