Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
%!s(int64=8) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | %!s(int64=8) %!d(string=hai) anos | |
|
Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
%!s(int64=8) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | %!s(int64=8) %!d(string=hai) anos | |