Binomial Heap in OCaml (typeocaml.com)

I highly recommend Purely Functional Data Structures by Chris Okasaki. It really opened my mind when I was starting out in functional programming. Highly relevant to many modern problems.

While reading this, did anyone else realize that this is basically formatted like a white paper, but made to be far more approachable? It reminds me a bit of this[0] presentation from Bret Victor.

[0]: http://worrydream.com/#!/MediaForThinkingTheUnthinkable

That was an awesomely formatted webpage! Which toolkit did the author use, and what were diagrams drawn with?