e9a3d6fc1a74cc4ae01fe27b0ed89a2807f54bd246f89d5f45c46e57c7790985

Download raw

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

Size: 4929

Preview (limited to 512 bytes)

"{-# LANGUAGE ScopedTypeVariables, TemplateHaskell #-}\nmodule Main where\n\n--------------------------------------------------------------------------\n-- imports\n\nimport Test.QuickCheck\nimport Test.QuickCheck.Poly\n\nimport Data.List\n ( sort\n , (\\\\)\n )\n\nimport Control.Monad\n ( liftM\n , liftM2\n )\n\n--------------------------------------------------------------------------\n-- skew heaps\n\ndata Heap a\n = Node a (Heap a) (Heap a)\n | Nil\n deriving ( Eq, Ord, Show )\n\nempty :: Heap a\nempty = Nil\n\nisEmpty :: Heap "

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