ulfn
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
vor 13 Jahren | |
|---|---|---|
| .. | ||
| Pat.agda | vor 13 Jahren | |
|
ulfn
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
vor 13 Jahren | |
|---|---|---|
| .. | ||
| Pat.agda | vor 13 Jahren | |