{"push_id":756144565,"size":3,"distinct_size":3,"ref":"refs/heads/sessions","head":"ce0cc5b417b85d55f54bf145093be88464b5ffb3","before":"9541c524e4cdc3f37d4b64a249b55c437e7f3b06","commits":[{"sha":"cb8855729d1c6cd1083245dbce8006b8a37a869d","author":{"email":"da66a7a27dcca394ef23e42eb7d98b474eab26ca@ed.ac.uk","name":"sam"},"message":"Adapt unification to ensure that we can get away without recursive\npresence types.","distinct":true,"url":"https://api.github.com/repos/links-lang/links/commits/cb8855729d1c6cd1083245dbce8006b8a37a869d"},{"sha":"745f4b6a53e8abe511266124165d13f4dfc4dacb","author":{"email":"da66a7a27dcca394ef23e42eb7d98b474eab26ca@ed.ac.uk","name":"sam"},"message":"bug","distinct":true,"url":"https://api.github.com/repos/links-lang/links/commits/745f4b6a53e8abe511266124165d13f4dfc4dacb"},{"sha":"ce0cc5b417b85d55f54bf145093be88464b5ffb3","author":{"email":"da66a7a27dcca394ef23e42eb7d98b474eab26ca@ed.ac.uk","name":"sam"},"message":"fix a bug with pretty-printing recursive row types","distinct":true,"url":"https://api.github.com/repos/links-lang/links/commits/ce0cc5b417b85d55f54bf145093be88464b5ffb3"}]}