03/2017 splay heaps
01/2017 language sketch
06/2016 project
05/2016 ramblings
04/2016 post
11/2015 thing #1