{"push_id":623286253,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"55f1496e4099c53b2dd087fd9df9cb41be439761","before":"06851956b51f7d10fdd1cd80309d78120f294615","commits":[{"sha":"9c60ef7f7944000987c0c5a5ed21420e671d55fd","author":{"email":"7d00076ead70f0797acbae6696ec696c99590c2d@gmail.com","name":"Benjamin Saunders"},"message":"Factor out and clean up LLVM codegen monad","distinct":false,"url":"https://api.github.com/repos/markuspf/idris-llvm/commits/9c60ef7f7944000987c0c5a5ed21420e671d55fd"},{"sha":"1160e5297fd55a012479e1b79dcec74fc9122989","author":{"email":"7d00076ead70f0797acbae6696ec696c99590c2d@gmail.com","name":"Benjamin Saunders"},"message":"Draft refactoring less operators","distinct":false,"url":"https://api.github.com/repos/markuspf/idris-llvm/commits/1160e5297fd55a012479e1b79dcec74fc9122989"},{"sha":"91f632b3a97a135034f086c6d779aca3b7e1f8e4","author":{"email":"ff0c0858c931cb5078c8aa4f6f2b38dec2b9423a@morphism.de","name":"Markus Pfeiffer"},"message":"Update to recent idris\n\n* Replace ErrorT by ExceptT\n* Remove FFI\n* Remove Vector Types","distinct":false,"url":"https://api.github.com/repos/markuspf/idris-llvm/commits/91f632b3a97a135034f086c6d779aca3b7e1f8e4"},{"sha":"55f1496e4099c53b2dd087fd9df9cb41be439761","author":{"email":"ff0c0858c931cb5078c8aa4f6f2b38dec2b9423a@morphism.de","name":"Markus Pfeiffer"},"message":"Merge branch 'refactor'","distinct":true,"url":"https://api.github.com/repos/markuspf/idris-llvm/commits/55f1496e4099c53b2dd087fd9df9cb41be439761"}]}