{"push_id":702228483,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e173b09ca987c3ca532152e756b95a7f214a8dca","before":"b1538bd6cbb8cbc27acd40cbf748d888cbe9acf1","commits":[{"sha":"e173b09ca987c3ca532152e756b95a7f214a8dca","author":{"email":"c13cbc350a88d193b210cbef815cca0476ae0232@gmail.com","name":"James Tranovich"},"message":"Moved theorems from IPL -> Boolean.","distinct":true,"url":"https://api.github.com/repos/cantsin/agda-experiments/commits/e173b09ca987c3ca532152e756b95a7f214a8dca"}]}