{"push_id":825784302,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"55d74bf2e6b1f095f28dd0a1f6d74eafe6085b51","before":"2b6fee152e390bd148c34e9feac7f4875de1a120","commits":[{"sha":"55d74bf2e6b1f095f28dd0a1f6d74eafe6085b51","author":{"email":"969d1d429940a00a3fdb14da98dd229aee933d6c@wesleyan.edu","name":"Ben Hudson"},"message":"finish substitution lemmas","distinct":true,"url":"https://api.github.com/repos/benhuds/Agda/commits/55d74bf2e6b1f095f28dd0a1f6d74eafe6085b51"}]}