{"push_id":1648490347,"size":17,"distinct_size":17,"ref":"refs/heads/master","head":"9f6f9b90b02d90dc2bbdea058b8416ca3bec1d9a","before":"409924a04fd279f8d9eadd799889faf18d28b49a","commits":[{"sha":"7912d99a4122be8a9d009c6a70e6d013273cfb08","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: remove the \"assert\" construct\n\n`assert e1; e2` is morally equivalent to `if e1 then ⊥ else e2`","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/7912d99a4122be8a9d009c6a70e6d013273cfb08"},{"sha":"fdee9f24abb4e4df540b460e119e69de6a7eaa06","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar : add some builtins as syntax constructs","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/fdee9f24abb4e4df540b460e119e69de6a7eaa06"},{"sha":"0caadfa2fdd0c2f86dfb16d63ab2501addf22433","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: add typeOf as a constant","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/0caadfa2fdd0c2f86dfb16d63ab2501addf22433"},{"sha":"8085fb5d79cb7c975c3d1c321fa1d218f2a31c80","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"Merge branch 'master' of github.com:regnat/tix-papers","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/8085fb5d79cb7c975c3d1c321fa1d218f2a31c80"},{"sha":"5d85837489fe33d03d5821c36942cfc4f2d35c6c","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: visually separate syntax and meta-syntax","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/5d85837489fe33d03d5821c36942cfc4f2d35c6c"},{"sha":"a04c176a35db8c9251fda4c360ac59360753134b","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"separate operators from expressions\n\n(and clean the latex syntax)","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/a04c176a35db8c9251fda4c360ac59360753134b"},{"sha":"c34072570a0b9ff5026a35b77884cf80ee64607b","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"explicitly uncurrify operators","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/c34072570a0b9ff5026a35b77884cf80ee64607b"},{"sha":"67d275fe838602da58d65fbd6212492285f00a59","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"add \"seq\" operator","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/67d275fe838602da58d65fbd6212492285f00a59"},{"sha":"9fb063fefb1a36e7a0580f1d0bb4671d0bc861ce","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: remove list syntax sugar","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/9fb063fefb1a36e7a0580f1d0bb4671d0bc861ce"},{"sha":"c084e0b9a5ebec78caa12bcc38fcb2ea6a129304","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: use \"Cons\" instead of \"::\" for lists","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/c084e0b9a5ebec78caa12bcc38fcb2ea6a129304"},{"sha":"56aff4a30492a603799d7cedaab8adf0a4c09bd4","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"some more cosmetic changes","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/56aff4a30492a603799d7cedaab8adf0a4c09bd4"},{"sha":"472e5c3af46d2a979aafb2b9de3399508a98ab72","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: add lists and constants as patterns","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/472e5c3af46d2a979aafb2b9de3399508a98ab72"},{"sha":"60adb3272690f61d77f799a2c70c2d79501a8479","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"semantics: expand ambiguous \"fs\" and \"pfs\"","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/60adb3272690f61d77f799a2c70c2d79501a8479"},{"sha":"95fca72e538cb6a9303d0e75dad084035077eb9c","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"semantics: change operators\n\nAccording to beppe recommandation","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/95fca72e538cb6a9303d0e75dad084035077eb9c"},{"sha":"de053771073518f9bb7d28eeaafa64986de957db","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"semantics: split beta-rule on pattern/not pattern","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/de053771073518f9bb7d28eeaafa64986de957db"},{"sha":"77148b18bfecda036c6bbc2af2affb38d9f9f2bc","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"semantics: add reduction contexts","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/77148b18bfecda036c6bbc2af2affb38d9f9f2bc"},{"sha":"9f6f9b90b02d90dc2bbdea058b8416ca3bec1d9a","author":{"name":"regnat","email":"fac8579496042cfb504d218a844c6a3fa6596982@regnat.ovh"},"message":"grammar: add values definition","distinct":true,"url":"https://api.github.com/repos/regnat/tix-papers/commits/9f6f9b90b02d90dc2bbdea058b8416ca3bec1d9a"}]}
{"actor":{"display_login":"regnat"}}