{"push_id":1034010647,"size":1,"distinct_size":1,"ref":"refs/heads/infer","head":"6fc7a9f90ff497b93205b2c3b03d28295b1a03b6","before":"4b2112cae1f85d4998bc2a54b0e79c3625178d01","commits":[{"sha":"6fc7a9f90ff497b93205b2c3b03d28295b1a03b6","author":{"email":"e123524ca8f415538780f7785b0bc20f14fc0879@cs.uni-saarland.de","name":"Roland Leißa"},"message":"clean up specialize and instantiate\n\n* just use Application + reduce","distinct":true,"url":"https://api.github.com/repos/AnyDSL/thorin/commits/6fc7a9f90ff497b93205b2c3b03d28295b1a03b6"}]}