Ulf Norell
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=7) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| N-queens.agda | %!s(int64=7) %!d(string=hai) anos | |
|
Ulf Norell
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
%!s(int64=7) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| N-queens.agda | %!s(int64=7) %!d(string=hai) anos | |