{"push_id":1127525311,"size":13,"distinct_size":13,"ref":"refs/heads/master","head":"91fd3efbe09cace65866387bb894e557c55b8ac7","before":"ddb559c5101ce37177f045159c7f8d6a45c7c64a","commits":[{"sha":"4c8360efd8416146b7b30dcc59fe9d37065a5431","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"test(tests/lean/run/vm_eval1): test for efficient interpreter","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/4c8360efd8416146b7b30dcc59fe9d37065a5431"},{"sha":"f66494108cbd2850d3f2886c7a88581486ef9bb8","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"chore(library/init/logic): reduce sorry's","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/f66494108cbd2850d3f2886c7a88581486ef9bb8"},{"sha":"cf7fcb3f513f6636e01b5253a63df81dbbc84b1a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/init): add functor/monad to init folder","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/cf7fcb3f513f6636e01b5253a63df81dbbc84b1a"},{"sha":"d22d850b2814360eacbb5d4f10d6a8d1596db0c2","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library): redefine string and char","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/d22d850b2814360eacbb5d4f10d6a8d1596db0c2"},{"sha":"408d1fae705081493efb5a6cd63cd81f2d18956a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library/norm_num): use new type_context","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/408d1fae705081493efb5a6cd63cd81f2d18956a"},{"sha":"cf5e7e4185ff47b7bd5abbfd724d5e6c54932e69","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"chore(library/type_context): improve aux_type_context interface","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/cf5e7e4185ff47b7bd5abbfd724d5e6c54932e69"},{"sha":"6a9e5079c9c10ac1d3b730addfccca39aadd25bd","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library,frontends/lean/pp): add support for new string encoding","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6a9e5079c9c10ac1d3b730addfccca39aadd25bd"},{"sha":"570ae361480b3246d4de108e8921818764e4b2fc","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"test(tests/lean): add test for new string support","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/570ae361480b3246d4de108e8921818764e4b2fc"},{"sha":"174fba9dbd406edd475263d6d46ae2853b051add","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): add support for monadic 'do'-notation","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/174fba9dbd406edd475263d6d46ae2853b051add"},{"sha":"e40c54013ac1a75fb75bad1f88bd91cf4155faf9","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/vm): add basic support for IO monad","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/e40c54013ac1a75fb75bad1f88bd91cf4155faf9"},{"sha":"63ed0c005627d99e05d0a5b03bbcbf33cb357d80","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/compiler/erase_irrelevant): add support for IO monad.bind","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/63ed0c005627d99e05d0a5b03bbcbf33cb357d80"},{"sha":"6d37c26b5d05858103c498c85d9b19e862e94cbb","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/compiler/erase_irrelevant): add support for IO monad.return","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/6d37c26b5d05858103c498c85d9b19e862e94cbb"},{"sha":"91fd3efbe09cace65866387bb894e557c55b8ac7","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/compiler/erase_irrelevant): add support for IO monad.return","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/91fd3efbe09cace65866387bb894e557c55b8ac7"}]}
{"actor":{"display_login":"soonhokong"}}