[ new ] Utils.Permutation.Tests: some properties of Permutation quickchecked.
[ haddock ] Link to Agda.Utils.Properties.Tests
[ imports ] strictified in Coverage.hs
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'upstream/master'