edwinb/Idris-dev — pull request #16 by dpmulligan (2012-02-24 15:49:00+00:00)
Title: An implementation of Okasaki-style maxiphobic heaps

Maxiphobic heap implementation complete with derived heap sort algorithm on lists. Severe performance issues in this file: sorting diverges in the REPL, works fine but slowly when executed natively via :exec, and type checking is very slow. See the commented main function at the bottom of the file for an example of the poor performance.