{"push_id":661334648,"size":161,"distinct_size":1,"ref":"refs/heads/master","head":"0bc6358c9f69f7c509929f07afa96af959062873","before":"0799859e77575ec40400042d3ef04c62b7e9c41d","commits":[{"sha":"1e6dd99df81a09b44df010cecd5f1f93b0d636de","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Major reorganization\n\n* locally nameless syntax\n* minimalistic system which will be extended later","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/1e6dd99df81a09b44df010cecd5f1f93b0d636de"},{"sha":"0160022198a568ab93b45db6fa81290f8396718d","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"New version that compiles.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/0160022198a568ab93b45db6fa81290f8396718d"},{"sha":"6e72e9f847b895ea19cf2c9afa9f24fc70db4b3e","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Replaced applications with spines everywhere","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/6e72e9f847b895ea19cf2c9afa9f24fc70db4b3e"},{"sha":"8e1741958a4588d76379a94c246f33d0487a14cd","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Debugging spines.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8e1741958a4588d76379a94c246f33d0487a14cd"},{"sha":"8071f05aa7cf9834558f00a5349b700b86973d95","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Keynote Oxford presentation","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8071f05aa7cf9834558f00a5349b700b86973d95"},{"sha":"e29221dd60bf8d08eeb2dc9cc1b09781a1f90067","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"remove formulas and keynote","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/e29221dd60bf8d08eeb2dc9cc1b09781a1f90067"},{"sha":"f62665e62da8fbb1e6243269c78a47b277a0bbdc","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Prelude and a simple example.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/f62665e62da8fbb1e6243269c78a47b277a0bbdc"},{"sha":"27479376b35d0dcca86da373d568357a50b160c1","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Update readme by deleting the part about tt","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/27479376b35d0dcca86da373d568357a50b160c1"},{"sha":"76f085d48905e50197637c414a23fc845047fb21","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Oxford Keynote presentation.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/76f085d48905e50197637c414a23fc845047fb21"},{"sha":"be4f2bccd0fb38128ced4d0d71ad24421c0503e4","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Comments to make the code better readable.","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/be4f2bccd0fb38128ced4d0d71ad24421c0503e4"},{"sha":"515c669614cb7ec40244338b83f9a3f62a7e0848","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"More comments and minor cleanups","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/515c669614cb7ec40244338b83f9a3f62a7e0848"},{"sha":"ecfa625ad30b9af4a0f8e152cf514fd4f03906f7","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Fix Paris slides so that they compile","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/ecfa625ad30b9af4a0f8e152cf514fd4f03906f7"},{"sha":"4e2741d0cfb2db52ecc117a179a9f3aa0ad610df","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Delete spurious src/typing.mli","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/4e2741d0cfb2db52ecc117a179a9f3aa0ad610df"},{"sha":"aa79e2f7ac51ed2e87d65e41383096f4a72dd730","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Archive unused files","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/aa79e2f7ac51ed2e87d65e41383096f4a72dd730"},{"sha":"8eb5eea46bb5708b096b954fb9cb96c17b72beb4","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Equip all modules with interfaces","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/8eb5eea46bb5708b096b954fb9cb96c17b72beb4"},{"sha":"d519502e3fbf2607d788aadfae57575c046e0063","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Archive old examples","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/d519502e3fbf2607d788aadfae57575c046e0063"},{"sha":"1b41c3b3a85ac913ea61e20136f36621aed2bf1e","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Set up testing framework","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/1b41c3b3a85ac913ea61e20136f36621aed2bf1e"},{"sha":"801c0e3f20c5f9f6204bd38a18e860dcb2d3963a","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Print context definitions in proper order","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/801c0e3f20c5f9f6204bd38a18e860dcb2d3963a"},{"sha":"c974e76c544688b93df3e7dfe78192581422b376","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Add test with Church numerals","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/c974e76c544688b93df3e7dfe78192581422b376"},{"sha":"2ced44e68ffd94414896750826120094a33d8414","author":{"email":"aba02362348b3bcde11aeea7feebdc4b3168788d@pretnar.info","name":"Matija Pretnar"},"message":"Add a rough specification of the language","distinct":false,"url":"https://api.github.com/repos/andrejbauer/andromeda/commits/2ced44e68ffd94414896750826120094a33d8414"}]}