| .. |
|
DeBruijnBase.agda
|
ec3e855918
[ std-lib ] Updated submodule commit and some test cases.
|
%!s(int64=6) %!d(string=hai) anos |
|
DeBruijnExSubstSized.agda
|
cc0e38df20
[ #1918 ] Removed unnecessary occurrences of `no-coverage-check`.
|
%!s(int64=8) %!d(string=hai) anos |
|
SizedNat.agda
|
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
%!s(int64=8) %!d(string=hai) anos |
|
SizedNatAnnotated.agda
|
65a3ba26d3
[ lib-succeed ] Added tests related to termination and sized types.
|
%!s(int64=8) %!d(string=hai) anos |
Andrés Sicard-Ramírez
ec3e855918
[ std-lib ] Updated submodule commit and some test cases.