{"push_id":1409435210,"size":6,"distinct_size":6,"ref":"refs/heads/lean3","head":"c816b80855139e1ff5ec8861d5945b431e47a883","before":"e5d69fef35c7cce20e66d4b0baa1a1bd4555e3fa","commits":[{"sha":"85a532b5afe204b72c90228b6dc067ad7f836f67","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init/monad_combinators): make combinators universe polymorphic (when possible), and use Lean naming conventions (i.e., no camelCase)","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/85a532b5afe204b72c90228b6dc067ad7f836f67"},{"sha":"e16e9880f7391570c9a0036d8ae21493273452e2","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/system): enforce Lean naming conventions IO ==> io","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/e16e9880f7391570c9a0036d8ae21493273452e2"},{"sha":"dfd2a23cd40db86fa4dfc076a32851ffca291d3a","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean): use #\"c\" instead of 'c' for character literals\n\nThe new notation is the same one used in Standard ML.\nIt will also allow us to use ' in the beginning of identifiers like Standard ML.","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/dfd2a23cd40db86fa4dfc076a32851ffca291d3a"},{"sha":"b7a4f305d4e73b380daca93dda047cf802aec769","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(emacs/lean-input): add shortcuts for alpha, beta and gamma","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b7a4f305d4e73b380daca93dda047cf802aec769"},{"sha":"d59bf05f20866c25aba82fea41e07c1b01b314c9","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean/scanner): allow ' in the beginning of identifiers","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/d59bf05f20866c25aba82fea41e07c1b01b314c9"},{"sha":"c816b80855139e1ff5ec8861d5945b431e47a883","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(*): don't use upper case letter for type variables, and camelCase for declarations","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/c816b80855139e1ff5ec8861d5945b431e47a883"}]}
{"actor":{"display_login":"leodemoura"}}