Agda.Utils.TestHelpers
Algebraic properties
associative
commutative
isZero
identity
leftDistributive
rightDistributive
Generators
natural
positive
maybeGen
maybeCoGen
listOfElements
two
three
Test driver.
runTests