Agda-2.5.1.2: A dependently typed functional programming language and proof assistant

All tests as collected by quickCheckAll.
Using quickCheckAll is convenient and superior to the manual enumeration of tests, since the name of the property is added automatically.