{"push_id":2737852609,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8c3acdc79ced03381517eb717ff9a44cc5d0800d","before":"9cf9e4cf1ecf2756a4077e631fef2c0c999d1222","commits":[{"sha":"8c3acdc79ced03381517eb717ff9a44cc5d0800d","author":{"name":"NKA0","email":"78c429914ebc833e5557f2e8288bdc0e5c567903@users.noreply.github.com"},"message":"型引数を複数とるADTの推論が可能になった（型シグネチャ付きで）","distinct":true,"url":"https://api.github.com/repos/na0214/type-system/commits/8c3acdc79ced03381517eb717ff9a44cc5d0800d"}]}
{"actor":{"display_login":"na0214"}}