 Nils Anders Danielsson
|
87be6ef89e
Added Internal.Helpers.smaller.
|
%!s(int64=3) %!d(string=hai) anos |
 Andreas Abel
|
3ef9404513
[ #4547 ] List1 in TopLevelModuleName and qnameParts
|
%!s(int64=5) %!d(string=hai) anos |
 Andrea Vezzosi
|
4a45eb9e67
[ cohesion flat ] Re-implemented the basics of the flat modality
|
%!s(int64=5) %!d(string=hai) anos |
|
Andreas Abel
|
3e1f38c6e1
[ #3861 ] fix travis compilation (more Semigroup issues); fixed typo
|
%!s(int64=5) %!d(string=hai) anos |
|
Andreas Abel
|
a99906a18b
[ #3861 ] fix travis compilation (more Semigroup issues)
|
%!s(int64=5) %!d(string=hai) anos |
|
Andreas Abel
|
f3f82fa051
[ #3861 ] internal test showing withVarOcc is almost a semimodule
|
%!s(int64=5) %!d(string=hai) anos |
|
Andreas Abel
|
436e554486
[ internal-tests ] systematic use of Prop(erty)1..4
|
%!s(int64=5) %!d(string=hai) anos |
 Robert Estelle
|
ffbbbcb561
[hlint autofix] Remove unused LANGUAGE pragmas
|
%!s(int64=5) %!d(string=hai) anos |
|
Robert Estelle
|
3ab3261fe3
Remove all build specializations for GHC <8
|
%!s(int64=5) %!d(string=hai) anos |
 Andrés Sicard-Ramírez
|
177137a505
[ fixed #3252 ] Added cpp conditional.
|
%!s(int64=6) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
c14f2336ba
[ #3160 ] Fixed compilation with GHC 8.6.1.
|
%!s(int64=6) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
%!s(int64=7) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
cb2a009f5f
[ #2861 ] Fixed typo.
|
%!s(int64=7) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
%!s(int64=7) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
ed29180806
[ internal-tests ] Renamed parent directory.
|
%!s(int64=7) %!d(string=hai) anos |
