Andrés Sicard-Ramírez
4ffc934df9
Merge agda-maint
|
%!s(int64=9) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| SomeBasicStuff.agda | %!s(int64=10) %!d(string=hai) anos | |
| Talk.agda | %!s(int64=9) %!d(string=hai) anos | |
|
Andrés Sicard-Ramírez
4ffc934df9
Merge agda-maint
|
%!s(int64=9) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| SomeBasicStuff.agda | %!s(int64=10) %!d(string=hai) anos | |
| Talk.agda | %!s(int64=9) %!d(string=hai) anos | |