{"push_id":678267183,"size":1,"distinct_size":1,"ref":"refs/heads/refl-ast","head":"a3b23b98c81fc85acdb415dc426ea500ed0f1022","before":"7ba3dd9b04a521eb17071135f206f5c031ca2fb5","commits":[{"sha":"a3b23b98c81fc85acdb415dc426ea500ed0f1022","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"Extracint hs-tau, agda low + high type works, conversion not yet","distinct":true,"url":"https://api.github.com/repos/phile314/agda-contracts/commits/a3b23b98c81fc85acdb415dc426ea500ed0f1022"}]}