bfc43ecf019d164b1b105794768720a58878eed7217581788d8a55d6a1fa66f5

Download raw

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

Size: 9052

Preview (limited to 512 bytes)

"{-# LANGUAGE ScopedTypeVariables, TemplateHaskell #-}\nmodule Main where\n\n--------------------------------------------------------------------------\n-- imports\n\nimport Test.QuickCheck\n\nimport Control.Monad\n ( liftM\n , liftM2\n )\n\nimport Data.Char\n ( toUpper\n )\n\nimport Data.Set (Set)\nimport qualified Data.Set as Set\n\n--------------------------------------------------------------------------\n-- types for lambda expressions\n\n-- variables\n\nnewtype Var = MkVar String\n deriving ( Eq, Ord )\n\ninstance Show Var "

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