r/haskell•9 yr. agofoBrowsingVerifying Heaps - Trying out some different heaps for "Fast total sorting of arbitrary Traversable containers"doisinkidney.com/posts/2017-04-23-verifying-d...doisinkidney.comPosted Apr 26, 2017, 5:30 PM UTC173Share