{"push_id":540464104,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"6e5d1961c40d96ca82859c999fe962117ba97e44","before":"45f0bba6cabb28fdc1a6ac6924363ed97d72f48d","commits":[{"sha":"abbd84d0df66d6cdff78e438eb20af83c8aea6bf","author":{"email":"a8486b1961ebe301f83407388f65325edb23d39f@deltadentalwi.com","name":"Garrett Bluma"},"message":"Reformatting","distinct":true,"url":"https://api.github.com/repos/gbluma/modulus-lang/commits/abbd84d0df66d6cdff78e438eb20af83c8aea6bf"},{"sha":"29fe973e906d7670190e9700ee996c07128c576e","author":{"email":"a8486b1961ebe301f83407388f65325edb23d39f@deltadentalwi.com","name":"Garrett Bluma"},"message":"Writing theories for semantics","distinct":true,"url":"https://api.github.com/repos/gbluma/modulus-lang/commits/29fe973e906d7670190e9700ee996c07128c576e"},{"sha":"6e5d1961c40d96ca82859c999fe962117ba97e44","author":{"email":"a8486b1961ebe301f83407388f65325edb23d39f@deltadentalwi.com","name":"Garrett Bluma"},"message":"Starting to work on rational numbers","distinct":true,"url":"https://api.github.com/repos/gbluma/modulus-lang/commits/6e5d1961c40d96ca82859c999fe962117ba97e44"}]}