Thursday, December 10, 2015

Finger Trees End-Of-Term Speech

Apologies for not posting much, I've been contributing to the repository. I haven't yet finished the implementation, but I've made a few changes to what was initially described. As an end-of-term thing, I am delivering a lecture on finger trees.  My lecture notes are after the jump, linked directly below.