deque-blog/rapid_check_example_testable.hs

Created February 2, 2017 21:48

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/deque-blog/aa045a5199ee27c7d883921c6aa5b57f.js"></script>
Save deque-blog/aa045a5199ee27c7d883921c6aa5b57f to your computer and use it in GitHub Desktop.

Download ZIP

Raw

rapid_check_example_testable.hs

	prop_gcd :: Integer -> Integer -> Bool
	prop_gcd a b = a * b == gcd a b * lcm a b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment