{"push_id":2511625568,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b84b6478e199b6d31bf5ee71a52e05b33def203d","before":"8217750675ecb0a8d0bb1e1e44b35b5068063d5a","commits":[{"sha":"b84b6478e199b6d31bf5ee71a52e05b33def203d","author":{"name":"Jan-Oliver Kaiser","email":"b5b38637ca244da09cf5b6f9217654f28a40aa65@mpi-sws.org"},"message":"Convert `decompose_forall[P|T]` to 2-CPS style.\n\nWhere 2-CPS is something I just made up to abbreviate the \"new\" style of\ntaking two continuations, one for the success case and for the failure\ncase.","distinct":true,"url":"https://api.github.com/repos/Mtac2/Mtac2/commits/b84b6478e199b6d31bf5ee71a52e05b33def203d"}]}
{"actor":{"display_login":"Janno"}}