I feel like I've made more progress on the new Idris in the last fortnight than in the previous six months. This research leave lark is great. If only I could do that all the time... Just about to get cracking on a new elaborator which for me is the most entertaining part.

On the other hand I have to write a new parser now, which is less fun. Swings and roundabouts...