{"shas":[["f8db61fe1e372ee5d9f45c9e07ac937de658e7c0","e3d2ce4548380356b8fe7d12b0f4b1e9a886c9a9@me.com","WIP: New unification algorithm","Jurriën Stutterheim"],["33395c1e2388419240cbbf09a1b9c30279765bfd","e3d2ce4548380356b8fe7d12b0f4b1e9a886c9a9@me.com","Work in progress: persist variable names through the tree","Jurriën Stutterheim"]],"ref":"refs/heads/master","size":2,"head":"33395c1e2388419240cbbf09a1b9c30279765bfd","push_id":32572938}