Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
prop_gcd :: Integer -> Integer -> Bool
prop_gcd a b = a * b == gcd a b * lcm a b
rapidCheck prop_gcd
> Success
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment