 Ulf Norell
|
552987aa01
More fine-grained blocking (#4782)
|
%!s(int64=4) %!d(string=hai) anos |
 Robert Estelle
|
d1165975ac
Remove unneeded "LANGUAGE CPP" pragmas
|
%!s(int64=5) %!d(string=hai) anos |
 Andrés Sicard-Ramírez
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
%!s(int64=6) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
%!s(int64=6) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
ed29180806
[ internal-tests ] Renamed parent directory.
|
%!s(int64=7) %!d(string=hai) anos |
