{"push_id":785754777,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"add01932aa43da83af3dc2fc702e1a9f1182f936","before":"3e6f4bb0aa6aa332a503244e38739fc76d28bae6","commits":[{"sha":"add01932aa43da83af3dc2fc702e1a9f1182f936","author":{"email":"410f8e31dde9d6bb55a44cfd38c976ecc9ec422b@live.co.uk","name":"Craig McLaughlin"},"message":"Added uniqueness for type variables via desugaring phase.\n\nParser generates non-unique type variables which are \"skolemised\" into\nrigid type variables unique to their scope.","distinct":true,"url":"https://api.github.com/repos/cmcl/franklyfrank/commits/add01932aa43da83af3dc2fc702e1a9f1182f936"}]}