{"push_id":2916403613,"size":13,"distinct_size":2,"ref":"refs/heads/imp/mutually-recursive-functions","head":"1ee15f4116cc46696de6aa45cceed3deb83dd4ca","before":"9fc8afe7788de26b1875a3e21a818f4a236323ef","commits":[{"sha":"e89edf72c314fc7e3dc44bf6385f77ac15bcf19e","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"language-plutus-core: add useful term construction functions","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/e89edf72c314fc7e3dc44bf6385f77ac15bcf19e"},{"sha":"e0ece21029bee6fb4d688a369020e8c6011a0c65","author":{"name":"Michael Peyton Jones","email":"b1c1d8736f20db3fb6c1c66bb1455ed43909f0d8@michaelpj.com"},"message":"Merge pull request #152 from michaelpj/imp/term-contruction-fns\n\nlanguage-plutus-core: add useful term construction functions","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/e0ece21029bee6fb4d688a369020e8c6011a0c65"},{"sha":"b15f68999737960f96ee44f4789ad72bee5d8a63","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"language-plutus-core: add fixN","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/b15f68999737960f96ee44f4789ad72bee5d8a63"},{"sha":"27d70a11888285491ff86d8d4476289b86531d04","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Make getBuiltinNatToInteger a term","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/27d70a11888285491ff86d8d4476289b86531d04"},{"sha":"d323454c4fe97df4b95b6384ed8f7c4b1db66e8c","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Add getBuiltinNatSum","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/d323454c4fe97df4b95b6384ed8f7c4b1db66e8c"},{"sha":"0f84cdfedb264dcf48f9e741d926690344309c0f","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Improve test to be comprehensible","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/0f84cdfedb264dcf48f9e741d926690344309c0f"},{"sha":"64279eb06f7628f545c8462e46658ad0e29fc838","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Fix hlints","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/64279eb06f7628f545c8462e46658ad0e29fc838"},{"sha":"dcc66b1ef93c9d37a9880b6f8bb4e9ffcd738425","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Fix and improve documentation","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/dcc66b1ef93c9d37a9880b6f8bb4e9ffcd738425"},{"sha":"a1b43d77fc96e789792a55c011d27700674dfb99","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Move some functions to a better location","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/a1b43d77fc96e789792a55c011d27700674dfb99"},{"sha":"dee2e117f40fd7f7c4c96b0c56f2d2a12cce1a52","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Fix formatting nitpick","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/dee2e117f40fd7f7c4c96b0c56f2d2a12cce1a52"},{"sha":"362b425e22700e1948e1eda3aedfd088e44226f2","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"Tidy functions with term construction functions","distinct":false,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/362b425e22700e1948e1eda3aedfd088e44226f2"},{"sha":"009b2d8abd79e82dbb4e7b8dc1208ed1c8d7c287","author":{"name":"Michael Peyton Jones","email":"b1c1d8736f20db3fb6c1c66bb1455ed43909f0d8@michaelpj.com"},"message":"Merge pull request #151 from michaelpj/imp/nary-fix\n\nlanguage-plutus-core: add fixN","distinct":true,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/009b2d8abd79e82dbb4e7b8dc1208ed1c8d7c287"},{"sha":"1ee15f4116cc46696de6aa45cceed3deb83dd4ca","author":{"name":"Michael Peyton Jones","email":"892d1fd04dc64c23fe35e20a13ce4b810bdd1436@iohk.io"},"message":"core-to-plc: support (mutually) recursive functions","distinct":true,"url":"https://api.github.com/repos/michaelpj/plutus-prototype/commits/1ee15f4116cc46696de6aa45cceed3deb83dd4ca"}]}
{"actor":{"display_login":"michaelpj"}}