ulfn
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 роки тому | |
|---|---|---|
| .. | ||
| Pat.agda | 13 роки тому | |
|
ulfn
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 роки тому | |
|---|---|---|
| .. | ||
| Pat.agda | 13 роки тому | |