Agda.Utils.TestHelpers

Algebraic properties

Generators

Test driver.