ulfn
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 سال پیش | |
|---|---|---|
| .. | ||
| Typechecker.agda | 11 سال پیش | |
|
ulfn
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 سال پیش | |
|---|---|---|
| .. | ||
| Typechecker.agda | 11 سال پیش | |