{"push_id":799882419,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"00997a154f973da6bfd0a22e8a94ade8a87dbe17","before":"bf2b4936598bf8635d5c9f97807e95f4ffa50073","commits":[{"sha":"72f7a1b8b11a488b19c429365cd538e80f07b410","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Fix definitions","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/72f7a1b8b11a488b19c429365cd538e80f07b410"},{"sha":"070d1c7c40fddadafcf38aa87334362f0350b14b","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"Fix the definition","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/070d1c7c40fddadafcf38aa87334362f0350b14b"},{"sha":"00997a154f973da6bfd0a22e8a94ade8a87dbe17","author":{"email":"7fb313bec3d61a866f7d31f033be694a14a64414@gmail.com","name":"TAKAHASHI Yuto"},"message":"[WIP] Prove theorem 8.3","distinct":true,"url":"https://api.github.com/repos/y-taka-23/concepts-of-proglangs/commits/00997a154f973da6bfd0a22e8a94ade8a87dbe17"}]}