Using QuickCheck to test functions in other languages/environments. - View it on GitHub