{"push_id":953919755,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"313e829ac9754a400526535a8488161876b19e32","before":"e1598ade973e54db8b6b077336856007e77f514f","commits":[{"sha":"313e829ac9754a400526535a8488161876b19e32","author":{"email":"421d9f7af1f6e2672602ac014696b8ea6d7a5320@st.informatik.tu-darmstadt.de","name":"Sylvia Grewe"},"message":"fixed bug: no guard generation in inner quantifiers","distinct":true,"url":"https://api.github.com/repos/stg-tud/type-pragmatics/commits/313e829ac9754a400526535a8488161876b19e32"}]}