{"push_id":772054127,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f7144c666e807085dbbfedfd82deff27283b53b7","before":"286f8c7d1ae5f8bcadc9e7665ed642d7323ad42a","commits":[{"sha":"f7144c666e807085dbbfedfd82deff27283b53b7","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"Progress on IxMonad->Monad proof when indices are phanton","distinct":true,"url":"https://api.github.com/repos/jbracker/polymonad-proofs/commits/f7144c666e807085dbbfedfd82deff27283b53b7"}]}