Changelog for meldable-heap-2.0.1

Changes in version 2.0.1: ========================================== * Added examples to Haddock documentation * Added this CHANGELOG Changes in version 2.0: ========================================== * Added a strict and a lazy version Changes in version 1.1.2: ========================================== * Moved proof files from "extra-source-files" to "data-files" in cabal configuration Changes in version 1.1.1: ========================================== * Change definition of meld to avoid use of Coq's "Function" feature, relying on higher-order fixpoints instead. The Coq manual calls "Function" experimental. Changes in version 1.1: ========================================== * Remove some unused parts of Coq files * Change type parameter order of heap type to make it usable in contexts requiring kind * -> *