c9cd99e3da41472b7df65d8f3ce490bd6e40615fdc8dc12d3e577ace0904aefa

Download raw

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

Size: 6564

Preview (limited to 512 bytes)

"{-# LANGUAGE ScopedTypeVariables, TemplateHaskell, GADTs #-}\nmodule Main where\n\n--------------------------------------------------------------------------\n-- imports\n\nimport Test.QuickCheck\nimport Test.QuickCheck.Poly\n\nimport Data.List\n ( sort\n , nub\n , (\\\\)\n )\n\nimport Data.Maybe\n ( fromJust\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, Sh"

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