{"push_id":2605120614,"size":28,"distinct_size":28,"ref":"refs/heads/master","head":"f6765d04c5e9541900b529e95c11f17238f5c372","before":"24711b902a62b09f322a854fa10e7af732e89ae1","commits":[{"sha":"455cfb02602ca29a6c18f1a06373cf43099c6f7b","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Implement a typechecker","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/455cfb02602ca29a6c18f1a06373cf43099c6f7b"},{"sha":"c9e659ffd57c198bcb153ae560473f858c060404","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Refine Display","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/c9e659ffd57c198bcb153ae560473f858c060404"},{"sha":"e3908a54aaf9c07a75a86659fb819c4b8bbb6255","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Update the lexer to support 4 tokens","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/e3908a54aaf9c07a75a86659fb819c4b8bbb6255"},{"sha":"54f62f6ffbfb19fd3cbf9ad9ec720174e1768cbb","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Add ELT0.Parser.Refined to replace ELT0.Parser","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/54f62f6ffbfb19fd3cbf9ad9ec720174e1768cbb"},{"sha":"fac2ff8214bf86f7bbf0a70d7685467964105761","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Add \"typecheck\" command","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/fac2ff8214bf86f7bbf0a70d7685467964105761"},{"sha":"4d5cc47a20aa9e4b25cef91e7b0d7714e1ddc9a0","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Require code blocks to explicitly declare assumptions","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/4d5cc47a20aa9e4b25cef91e7b0d7714e1ddc9a0"},{"sha":"3447d9ac072c79af8e57bf27614eabbcda5e1e08","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Fix the block parser","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/3447d9ac072c79af8e57bf27614eabbcda5e1e08"},{"sha":"3db7e00af8d38ee3c6fd586ad3d2480b6bc84c68","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Remove parsers in ELT0.Parser module","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/3db7e00af8d38ee3c6fd586ad3d2480b6bc84c68"},{"sha":"958f460792de3a02981d717a7c8f9a1d6179191d","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Fix `Display Env`","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/958f460792de3a02981d717a7c8f9a1d6179191d"},{"sha":"001fb3d037aa880b0dbb1230fef2bda83142d318","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Rename ELT0.Parser -> ELT0.Parser.Lexer","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/001fb3d037aa880b0dbb1230fef2bda83142d318"},{"sha":"391ecead38d33195c1cea4f472c3d086607c9116","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Quit quialified import of ELT0.Parser.Lexer","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/391ecead38d33195c1cea4f472c3d086607c9116"},{"sha":"a6ea329076999f3669f5409b6eb94bc692ce933d","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Rename Parser.Refined -> Parser","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/a6ea329076999f3669f5409b6eb94bc692ce933d"},{"sha":"4c81859fd658171eef7b494733cc2a6b4002c625","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Brush up document","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/4c81859fd658171eef7b494733cc2a6b4002c625"},{"sha":"d65d5ad8b376c843e7533f1f99e9180788b33236","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Transfer responsibility for `Maybe` to `lex1` from `lexWord`","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/d65d5ad8b376c843e7533f1f99e9180788b33236"},{"sha":"46fc21bb95a7736bc283676c56cf57a3632d87bd","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Quit qualifying ELT0.Program","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/46fc21bb95a7736bc283676c56cf57a3632d87bd"},{"sha":"bf1953378c36b8daded57b01f8e446afd55559a8","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Complete syntax of environments","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/bf1953378c36b8daded57b01f8e446afd55559a8"},{"sha":"c96221aff22acdb4e6f386e4a0be9a6366985160","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Remove unused functions","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/c96221aff22acdb4e6f386e4a0be9a6366985160"},{"sha":"949ffd0c2945033ca286df6f2d9eb26010319e63","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Push \"asm\" and \"typecheck\" commands into a new \"primitive\" command","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/949ffd0c2945033ca286df6f2d9eb26010319e63"},{"sha":"0ae2db3b0903c933b9bc46727ed910409f38ddd1","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Extract a failure pattern for the number of arguments","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/0ae2db3b0903c933b9bc46727ed910409f38ddd1"},{"sha":"2fbe02dce4354aa08fb4bb09c3523ce75f01f595","author":{"name":"elpinal","email":"e27b78ed22cfb89c36279bdbb6f4b30d6d17f9d9@users.noreply.github.com"},"message":"Use \"safe-exceptions\" package to uniformly represent errors in Main","distinct":true,"url":"https://api.github.com/repos/elpinal/elt0/commits/2fbe02dce4354aa08fb4bb09c3523ce75f01f595"}]}
{"actor":{"display_login":"elpinal"}}