{"push_id":570383321,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"06e7ef3bfde739d139507a8cef3b413090905fe7","before":"5b9beec9e27a9d2bc69deabf4c9d790671efaeb7","commits":[{"sha":"06e7ef3bfde739d139507a8cef3b413090905fe7","author":{"email":"3abdc0ea154d44ca5f79eb8318dd874c9cfe25bd@gmail.com","name":"lambdataro"},"message":"ラムダ計算の型推論を実装。","distinct":true,"url":"https://api.github.com/repos/lambdataro/Mokkosu/commits/06e7ef3bfde739d139507a8cef3b413090905fe7"}]}