{"push_id":2858798860,"size":2,"distinct_size":2,"ref":"refs/heads/imp/type-redexes","head":"dde3a78628e50553b4e10ca9f36048e374100afd","before":"709170eaae3844fc6df63f15d150bed31ccc1193","commits":[{"sha":"68119f08104252df4113ab1d3d90ae4d08b30c3e","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"TypeSynthesis: reduce iterated lambdas correctly","distinct":true,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/68119f08104252df4113ab1d3d90ae4d08b30c3e"},{"sha":"dde3a78628e50553b4e10ca9f36048e374100afd","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"TypeSynthesis: remove unnecessary reduction after substitution","distinct":true,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/dde3a78628e50553b4e10ca9f36048e374100afd"}]}
{"actor":{"display_login":"michaelpj"}}