{"push_id":2972347332,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da56235a5f52a38f63f0c0d78a890cb9e4e2c62a","before":"400969016472e56b6663d98ee2219bd0883fe8a5","commits":[{"sha":"da56235a5f52a38f63f0c0d78a890cb9e4e2c62a","author":{"name":"Keith","email":"101bfbfce047d63c6371146493dbe253818e0944@gmail.com"},"message":"Added type inference for implicit pattern bindings. Major milestone, can now run actual typechecks.","distinct":true,"url":"https://api.github.com/repos/hnefatl/dissertation-project/commits/da56235a5f52a38f63f0c0d78a890cb9e4e2c62a"}]}
{"actor":{"display_login":"hnefatl"}}