{"push_id":571156013,"size":28,"distinct_size":1,"ref":"refs/heads/master","head":"6f720c5937d313797ab2d998b8328501a8622882","before":"40b1cc60ab91dcd1d4ea1d8ca0f60f346842789f","commits":[{"sha":"88ab82d0d1f2f80ca8c42a444b9556770b4c86b9","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Inference uses case analysis.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/88ab82d0d1f2f80ca8c42a444b9556770b4c86b9"},{"sha":"e17bfe8245972304539e335c837e8638eafc4fe4","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Spacing.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/e17bfe8245972304539e335c837e8638eafc4fe4"},{"sha":"9ca7adb1e85bf04f40543dbf293c4bc718f2c101","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Error composition.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/9ca7adb1e85bf04f40543dbf293c4bc718f2c101"},{"sha":"5ab2aa0f2d83f835b7a8ad39d9974a792ae5cef6","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Logical && of two Either<Error, *>s.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/5ab2aa0f2d83f835b7a8ad39d9974a792ae5cef6"},{"sha":"85ab02f322befdc0e0432a876b99fb398fdaf361","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Docs.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/85ab02f322befdc0e0432a876b99fb398fdaf361"},{"sha":"55e8e28aacec666c0a6a085464df9a93f68dffc0","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"ConstraintSet typealias.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/55e8e28aacec666c0a6a085464df9a93f68dffc0"},{"sha":"2d20d6560c5d2e341734355cdce11826057f4280","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSet is an array of pairs.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/2d20d6560c5d2e341734355cdce11826057f4280"},{"sha":"5e4aa041b713461ccbb4ff6f607dd636379eb46e","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Application inference infers its operands first.\n\nThis is its premise.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/5e4aa041b713461ccbb4ff6f607dd636379eb46e"},{"sha":"0c9f09113437e68b378dd4c34949c02d152f232b","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"I dunno where that came from.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/0c9f09113437e68b378dd4c34949c02d152f232b"},{"sha":"38436feb966550e155016f6bee5c81178240278b","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Application inference appends the leaves’ assumptions & constraints.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/38436feb966550e155016f6bee5c81178240278b"},{"sha":"c4dd26d7740233f9bcc7c36f5c1d35c92bdaa37b","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Fix the tests.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/c4dd26d7740233f9bcc7c36f5c1d35c92bdaa37b"},{"sha":"170c1799486bf74c49c1fc42c202dfb5d4314589","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"typeOf does not take assumptions & constraints.\n\nh/t @JoeOsborn.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/170c1799486bf74c49c1fc42c202dfb5d4314589"},{"sha":"bd7c80b07ff78676250cfeeda9058e4e45e79b88","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSet maps term variables to type schemes once more.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/bd7c80b07ff78676250cfeeda9058e4e45e79b88"},{"sha":"850bb9569554893044f653a5cfa0a246e8cf902f","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"The application rule fits neatly on a single line once more.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/850bb9569554893044f653a5cfa0a246e8cf902f"},{"sha":"1cd1dc54a8956f8df6dac3b41b84601139aedac1","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSet is once more a Dictionary of term variables to type schemes.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/1cd1dc54a8956f8df6dac3b41b84601139aedac1"},{"sha":"830adc3e42e43756b8f0d40451d75c1917a08533","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSets map term variables to one or more type schemes.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/830adc3e42e43756b8f0d40451d75c1917a08533"},{"sha":"1269dd475adeb4a11e911a48133ae162606cb24f","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Move AssumptionSet into its own file.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/1269dd475adeb4a11e911a48133ae162606cb24f"},{"sha":"f832ebabed4eb502cd76b511a7782c72408f2268","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSet is a struct with subscripts.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/f832ebabed4eb502cd76b511a7782c72408f2268"},{"sha":"e7909c64990cc30cda5ea6adaca49f77fc8f9863","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"AssumptionSets are Equatable.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/e7909c64990cc30cda5ea6adaca49f77fc8f9863"},{"sha":"91f68a7bc40f4360cb92521295448df9b3173594","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Correct the tests.","distinct":false,"url":"https://api.github.com/repos/antitypical/Manifold/commits/91f68a7bc40f4360cb92521295448df9b3173594"}]}