Dependently-typed weight-biased leftist heaps
Merge pull request #4 from jstolarek/js-dep-typed-wblh

Weight-biased leftist heaps verified in Haskell using dependent types