Download raw

Created: 2023-12-19 03:40:10.302489 UTC

Size: 1274

Preview (limited to 512 bytes)

"{-# LANGUAGE ScopedTypeVariables, TemplateHaskell #-}\nmodule Main where\n\n--------------------------------------------------------------------------\n-- imports\n\nimport Test.QuickCheck\n\n--------------------------------------------------------------------------\n-- example 1\n\nallEqual x y z = x == y && y == z\nallEqual' x y z = 2*x == y + z\n\nprop_SimonThompson x y (z :: Int) =\n allEqual x y z == allEqual' x y z\n\n--------------------------------------------------------------------------\n-- example 2\n\nprop_Rever"

Casa is a service provided by the Haskell Foundation │ Originally developed by FP Complete