caryoscelus
1f3b3e7c5b
update to recent agda & stdlib
|
%!s(int64=5) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| Types.agda | %!s(int64=5) %!d(string=hai) anos | |
|
caryoscelus
1f3b3e7c5b
update to recent agda & stdlib
|
%!s(int64=5) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| Types.agda | %!s(int64=5) %!d(string=hai) anos | |