disco-0.2: test/prop-basic/input

:load test/prop-basic/prop-basic.disco
:test injective (\x. x * 2)
:test idempotent (\x. max(x, 10))
:test commutative (\(a, b). a * b)
:test associative (\(a, b). a + b)
:test identityFor(0, \(a, b). max(a, b))

-- Randomized testing doesn't do a good job with exists inside forall!
-- :test surjective (\x. x)