{"push_id":2339564412,"size":14,"distinct_size":14,"ref":"refs/heads/master","head":"e6e2b8225576ffaabe9d1d77b5d6984c7ebcef9c","before":"d641bca94ebc9afd008e6b2d2d1ff4a1ad80c58b","commits":[{"sha":"ab9e5d6c7d9782a828a83680868db5312494fa52","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"Revised material on sections","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/ab9e5d6c7d9782a828a83680868db5312494fa52"},{"sha":"462a88508f4d313ce761018b340fdec7d964be99","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"finished Lists foldr monoid","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/462a88508f4d313ce761018b340fdec7d964be99"},{"sha":"7a369f9f8d2cc04e1c365fdb18578824ab3a1988","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"updated README to point to CommonMark","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/7a369f9f8d2cc04e1c365fdb18578824ab3a1988"},{"sha":"652da6c516f979094719515bb3e414d38e28b919","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"Lists, added All and Any","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/652da6c516f979094719515bb3e414d38e28b919"},{"sha":"9114aad7b37a265e45f118a9f9cf16a1a2ca3ebd","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"finished first draft of Lists","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/9114aad7b37a265e45f118a9f9cf16a1a2ca3ebd"},{"sha":"f939eebf5b7f83c61acfd50f63197c75c03e4913","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"fixed bug in LogicAns","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/f939eebf5b7f83c61acfd50f63197c75c03e4913"},{"sha":"a6e1179622b99fbf4070f8b63cf56765ed8c5e33","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"minor fixes to Lists","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/a6e1179622b99fbf4070f8b63cf56765ed8c5e33"},{"sha":"f97bac1082b46470381dcb781601a5c9439a9b14","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"Decidable, first half","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/f97bac1082b46470381dcb781601a5c9439a9b14"},{"sha":"3f744db8b949506facecace876c9273cf0e94535","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"updated index","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/3f744db8b949506facecace876c9273cf0e94535"},{"sha":"32a2062a7851eef55e1bcd065f60486f2a0a3976","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"added Everything","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/32a2062a7851eef55e1bcd065f60486f2a0a3976"},{"sha":"d1385a71609945828c28fd022cafd161a0849858","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"added Kramdown to README","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/d1385a71609945828c28fd022cafd161a0849858"},{"sha":"151dc6d6bd49b66cd46c348b4792d51e0341e45f","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"Decidable connectives","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/151dc6d6bd49b66cd46c348b4792d51e0341e45f"},{"sha":"2a45baba90415c7b5c62201eedc02e6d7b7758fc","author":{"name":"wadler","email":"0faac87a77080517ea63f04ce825eefa3e76c5a7@inf.ed.ac.uk"},"message":"Decidable All","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/2a45baba90415c7b5c62201eedc02e6d7b7758fc"},{"sha":"e6e2b8225576ffaabe9d1d77b5d6984c7ebcef9c","author":{"name":"Jonathan Prieto-Cubides","email":"ae11487f77b4a54c1115d2338cb901e96d9e41ec@eafit.edu.co"},"message":"Merge branch 'master' of https://github.com/wenkokke/sf","distinct":true,"url":"https://api.github.com/repos/jonaprieto/sf/commits/e6e2b8225576ffaabe9d1d77b5d6984c7ebcef9c"}]}
{"actor":{"display_login":"jonaprieto"}}