{"push_id":1101184513,"size":11,"distinct_size":0,"ref":"refs/heads/repl","head":"3ca798def5bddc7873a989d2d23b938fc6f6618b","before":"8376ad1329ef7f3ebc20e025a6ffc722b9c9a34f","commits":[{"sha":"049af94e8c0e7656b71fc34d3ec16fc0b520d4e4","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"todo","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/049af94e8c0e7656b71fc34d3ec16fc0b520d4e4"},{"sha":"26817bf1fa53c40e2fc9c596a423083b1ad631f1","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"refactoring","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/26817bf1fa53c40e2fc9c596a423083b1ad631f1"},{"sha":"f709e00c3e4c7f39f660be90e774c864b627e963","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"revamp the proof state","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/f709e00c3e4c7f39f660be90e774c864b627e963"},{"sha":"fa912eafe52e7c4646f0e12afd91322f04af7554","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"in shaking up interpreter","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/fa912eafe52e7c4646f0e12afd91322f04af7554"},{"sha":"a964e1865b4f4b5f3acfc707cf8b051f1ad336ce","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"revamp the environment","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/a964e1865b4f4b5f3acfc707cf8b051f1ad336ce"},{"sha":"6e88ecb7a4558736de4bd09bda9a0abfb6c39eda","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"add undo","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/6e88ecb7a4558736de4bd09bda9a0abfb6c39eda"},{"sha":"8a1a8497637936241c69fa5e5dadceb487ca0a87","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"Fermat"},"message":"a bug in the dzz example","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/8a1a8497637936241c69fa5e5dadceb487ca0a87"},{"sha":"159532c4d8f954cf0e846a6ee424d0fa10b25e64","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"fermat"},"message":"capture avoiding substitution, and fresh names when we unwrap the binders","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/159532c4d8f954cf0e846a6ee424d0fa10b25e64"},{"sha":"c12d2edcdf816de5907a0c9b116ef2366dd91a19","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"fermat"},"message":"need to add another block to researve both rewrite rule and formulas","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/c12d2edcdf816de5907a0c9b116ef2366dd91a19"},{"sha":"ecbe9c9099e26bdd2a14a7922b5ac667ed6f3d7f","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"fermat"},"message":"formatting","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/ecbe9c9099e26bdd2a14a7922b5ac667ed6f3d7f"},{"sha":"3ca798def5bddc7873a989d2d23b938fc6f6618b","author":{"email":"fb6a55dd4fbbc515c3f1ef384e667447ec40ffb0@gmail.com","name":"fermat"},"message":"minor","distinct":false,"url":"https://api.github.com/repos/Fermat/CEGT/commits/3ca798def5bddc7873a989d2d23b938fc6f6618b"}]}