37fbbaf151302ca2acad4aae91b4178af146de6bba4350cd8a096ff5198d872f

Download raw

Created: 2025-03-13 05:25:28.759888 UTC

Size: 3726

Preview (limited to 512 bytes)

"## SBVPlugin: SBV Plugin for GHC\n\nOn Hackage: http://hackage.haskell.org/package/sbvPlugin\n\n### Example\n\n```haskell\n{-# OPTIONS_GHC -fplugin=Data.SBV.Plugin #-}\n\nmodule Test where\n\nimport Data.SBV.Plugin\n\ntest :: Proved (Integer -> Integer -> Bool)\ntest x y = x + y >= x - y\n```\n\n*Note the GHC option on the very first line. Either add this to your file, or pass `-fplugin=Data.SBV.Plugin` as an\nargument to GHC, either on the command line or via cabal. Same trick also works for GHCi.*\n\nThe `Proved` type simply"

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