ulfn 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 gadi atpakaļ
..
Pat.agda 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 gadi atpakaļ