{"push_id":757783813,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"4ce964bdeff95cd02b1845991bac9ac8b35281dd","before":"920786c41c85cea30416aa9132f2d91d54a4790f","commits":[{"sha":"9bf9b1cbf1b4ceffc711dbf4f651d1d3c61108fd","author":{"email":"db979e503176353f6881b96ab6b0a33bdf7f3401@gmail.com","name":"Danny Gratzer"},"message":"Added a few words on applicative equivalence","distinct":true,"url":"https://api.github.com/repos/jozefg/drafts/commits/9bf9b1cbf1b4ceffc711dbf4f651d1d3c61108fd"},{"sha":"60ccb36a7c71bd8459b5166362a5ef457d682a5d","author":{"email":"db979e503176353f6881b96ab6b0a33bdf7f3401@gmail.com","name":"Danny Gratzer"},"message":"Added start of post on domain theoretic solutions to equations","distinct":true,"url":"https://api.github.com/repos/jozefg/drafts/commits/60ccb36a7c71bd8459b5166362a5ef457d682a5d"},{"sha":"4ce964bdeff95cd02b1845991bac9ac8b35281dd","author":{"email":"db979e503176353f6881b96ab6b0a33bdf7f3401@gmail.com","name":"Danny Gratzer"},"message":"Added some notes on basic domain theory (cppos)","distinct":true,"url":"https://api.github.com/repos/jozefg/drafts/commits/4ce964bdeff95cd02b1845991bac9ac8b35281dd"}]}