{"push_id":1331924939,"size":216,"distinct_size":216,"ref":"refs/heads/lean3-native","head":"1b30678a29f63c5f24a4789138af556f1965f0b6","before":"dabaeadfdb9e4af25882778f8738801ec0a22d24","commits":[{"sha":"318ef761d3f07ba97a1aca5fcb9235ece34a7707","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): lambda+anonymous_constructor+match notation","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/318ef761d3f07ba97a1aca5fcb9235ece34a7707"},{"sha":"8f2c428800b89e2324557c90ffa270b7f4dbce11","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init/logic): enforce style","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/8f2c428800b89e2324557c90ffa270b7f4dbce11"},{"sha":"b716827206ed761fa61ba9644b1e7fc96be1ba8c","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init): uniform style","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/b716827206ed761fa61ba9644b1e7fc96be1ba8c"},{"sha":"5e5285ee67e9b5a27db624adc94b58184129eb4f","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(library): rename pr1/pr2 ==> fst/snd","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/5e5285ee67e9b5a27db624adc94b58184129eb4f"},{"sha":"8657230435ab291b0dc3bd840a4f3bf47141e90b","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(frontends/lean): new token for projections, and cleanup","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/8657230435ab291b0dc3bd840a4f3bf47141e90b"},{"sha":"b67216374c1b8f48ae096598fd47b996712b2af6","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): projection notation","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/b67216374c1b8f48ae096598fd47b996712b2af6"},{"sha":"dde5f7ac7005144224969f2487f022b1f9f001e5","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): add aliases such as: `.1` for `~>1`","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/dde5f7ac7005144224969f2487f022b1f9f001e5"},{"sha":"7166deffd3caac210571168a907a58408dd14ccc","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(old_library): save old library","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/7166deffd3caac210571168a907a58408dd14ccc"},{"sha":"d97e5b5061c2bd41d056141d3db049c6679ca4d8","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library): remove old files","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/d97e5b5061c2bd41d056141d3db049c6679ca4d8"},{"sha":"41d1e9b8df83a836b5c30cb00a065b80779d9b85","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/init): add type classes for collections","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/41d1e9b8df83a836b5c30cb00a065b80779d9b85"},{"sha":"2b570e1eaedef13f91b99f3991c3438d559a0016","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(frontends/lean): remove old attributes","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/2b570e1eaedef13f91b99f3991c3438d559a0016"},{"sha":"c0ff9967af2e0dc79b00eedc113bebba6543d628","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): add basic notation for collections","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/c0ff9967af2e0dc79b00eedc113bebba6543d628"},{"sha":"973bc5f1d6307c558867bcaf92f5e793c72c4bba","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): add notation for 'sep'","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/973bc5f1d6307c558867bcaf92f5e793c72c4bba"},{"sha":"b7abd615798b025ece3203b1065529f25dfec665","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): change subtype notation (again)\n\nWe had conflicts with the set notation.","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/b7abd615798b025ece3203b1065529f25dfec665"},{"sha":"952974f024c823aa68166110097699ef077dd8ba","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"test(tests/lean/run/pred_to_subtype_coercion): add coercion to subtype test","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/952974f024c823aa68166110097699ef077dd8ba"},{"sha":"b55a17614a9c08662950aecbb98c8a8025984313","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): structure instances","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/b55a17614a9c08662950aecbb98c8a8025984313"},{"sha":"d5b07336d9e4d94a5b4369c032afd30ecc084411","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(emacs): use \\pr for projection notation","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/d5b07336d9e4d94a5b4369c032afd30ecc084411"},{"sha":"7ae778e925e86f10cb871155c069550196b01455","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): generalize '~>' notation, and add alias '^.' for '~>'","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/7ae778e925e86f10cb871155c069550196b01455"},{"sha":"85e03da7db10d6c82102830bf937421b3e787d76","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): add 'def' as shorthand for 'definition'","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/85e03da7db10d6c82102830bf937421b3e787d76"},{"sha":"c8e13cd3913b65e54bb938d305514b643dee4efe","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): minimize errors being reported","distinct":true,"url":"https://api.github.com/repos/jroesch/lean/commits/c8e13cd3913b65e54bb938d305514b643dee4efe"}]}
{"actor":{"display_login":"jroesch"}}