{"push_id":707589372,"size":38,"distinct_size":1,"ref":"refs/heads/master","head":"7c8d621c35a259fc9706ee6fdf92ef16d4774c72","before":"e1162a5adf7bf16aa5c39acabd8c25551b51f609","commits":[{"sha":"102e0d9934bf77e8b368cc4002f917b5c6b51c13","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add memo as a submodule.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/102e0d9934bf77e8b368cc4002f917b5c6b51c13"},{"sha":"751f636238d8159434795da72c6f0ee475258589","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Link against Memo.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/751f636238d8159434795da72c6f0ee475258589"},{"sha":"44644082e34086b44dabadf96e7f01936e5d04ba","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Lazily memoize terms.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/44644082e34086b44dabadf96e7f01936e5d04ba"},{"sha":"0f5e1a681838e865e8bce5fa41c3a5a61b47a855","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Compute the binding level of a term.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/0f5e1a681838e865e8bce5fa41c3a5a61b47a855"},{"sha":"e4956ee2f1f8d19cf719c53bdc0b64ca6b79eb64","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add a private constructor taking a Memo.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/e4956ee2f1f8d19cf719c53bdc0b64ca6b79eb64"},{"sha":"96cd249c85d62568e9181f014735e02f2fca0bf9","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add an initializer taking an unevaluated expression.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/96cd249c85d62568e9181f014735e02f2fca0bf9"},{"sha":"ad0b1a7ffdc2ca7eaf45726f962930dca5cb5aa6","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Higher-order construction using Axelsson-Claessen naming.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/ad0b1a7ffdc2ca7eaf45726f962930dca5cb5aa6"},{"sha":"5e993ec5ae475fce82408247e3a674b774a95be1","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Test higher-order construction of identity.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/5e993ec5ae475fce82408247e3a674b774a95be1"},{"sha":"f583df65f01fd71bd814ec4408f93b82fe3af223","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Rename Checkable back to Expression.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/f583df65f01fd71bd814ec4408f93b82fe3af223"},{"sha":"481798e54a2b913d6a731f8da8f86f3df4cca3a1","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"The minimum addition of bound variables to pi/sigma terms.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/481798e54a2b913d6a731f8da8f86f3df4cca3a1"},{"sha":"d4185d59af865d9a912e1fab8ad1ba1c29f38655","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add variables to the pi/sigma exhaustive case analysis function.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/d4185d59af865d9a912e1fab8ad1ba1c29f38655"},{"sha":"e56b7858fab08b95d6bd3d3e942a75c91d750e93","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Correct the tested values for descriptions.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/e56b7858fab08b95d6bd3d3e942a75c91d750e93"},{"sha":"98cfdeaba3a06d250493df03b9da508a949fb15f","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add variables to the defaulting pi/sigma case analysis method.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/98cfdeaba3a06d250493df03b9da508a949fb15f"},{"sha":"c4a648bf5df2c33e6f0b57ace1598ce13074c295","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Tacit style for mapBoundVariables.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/c4a648bf5df2c33e6f0b57ace1598ce13074c295"},{"sha":"0bfa06771dd1fc30d11fd4b493d9060b51c2a0ec","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Rename the higher-order constructor to pi.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/0bfa06771dd1fc30d11fd4b493d9060b51c2a0ec"},{"sha":"67a24248f7143f1dea370681ba8fcc575f1f3781","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Add a higher-order constructor for sigmas.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/67a24248f7143f1dea370681ba8fcc575f1f3781"},{"sha":"14b388856a3ae6d4b6fc62a380c08aa56c1fe12e","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Use the higher-order constructions wherever possible.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/14b388856a3ae6d4b6fc62a380c08aa56c1fe12e"},{"sha":"da3574d5f81dfdd1845ed8e5adc8175ce9d987de","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Non-dependent function/product constructors.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/da3574d5f81dfdd1845ed8e5adc8175ce9d987de"},{"sha":"77ae2097af7f357cc2c94b6eeaf2e888785d9045","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"And use same.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/77ae2097af7f357cc2c94b6eeaf2e888785d9045"},{"sha":"833f9545aa3834e6478dd5e1c3aac9a1895f7e45","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Fix up the tests so they compile.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/833f9545aa3834e6478dd5e1c3aac9a1895f7e45"}]}