{"push_id":578750268,"size":10,"distinct_size":10,"ref":"refs/heads/constraint-solving","head":"ba544605bf51dc0fec2104905cdee2c7040ef7d4","before":"22e7c83f7a165d1d8b07efd3d3a1b9808248d588","commits":[{"sha":"198da6f745bcbaeba3726b12ddac0f080e0bc4a1","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Don’t unwrap nil values.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/198da6f745bcbaeba3726b12ddac0f080e0bc4a1"},{"sha":"809ffa15c29bc3b2e3927b89ffc12e221a3090b7","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Recur over function parameters.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/809ffa15c29bc3b2e3927b89ffc12e221a3090b7"},{"sha":"a66e3c68e8e41cde23b10ae64852f70d8f05a300","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Style: omit return statements.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/a66e3c68e8e41cde23b10ae64852f70d8f05a300"},{"sha":"1334eb094c8087b772cbd467750ed8dce099e8b0","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Bump DisjointSet.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/1334eb094c8087b772cbd467750ed8dce099e8b0"},{"sha":"6458f9814160c32e578362f47cc481a4dee325f3","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Solve returns Either.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/6458f9814160c32e578362f47cc481a4dee325f3"},{"sha":"9753120bc006759eb22e8d280f1d7c4177c40685","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Type constructors.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/9753120bc006759eb22e8d280f1d7c4177c40685"},{"sha":"74c902f8881a28ad482bf2e1f55162ba857b78ef","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Parameterize function types with their parameter/return types.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/74c902f8881a28ad482bf2e1f55162ba857b78ef"},{"sha":"dbb30aeba69489f7db6e5829b3c97bb65d71bfd2","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Case analysis for type constructors.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/dbb30aeba69489f7db6e5829b3c97bb65d71bfd2"},{"sha":"fce1c994f5510efa6b68c567607d81e700e0ea0b","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Categorization/decomposition properties for type constructors.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/fce1c994f5510efa6b68c567607d81e700e0ea0b"},{"sha":"ba544605bf51dc0fec2104905cdee2c7040ef7d4","author":{"email":"286376e11e3345f01629fbcaad636fe9830153d1@github.com","name":"Rob Rix"},"message":"Type constructors are Equatable.","distinct":true,"url":"https://api.github.com/repos/antitypical/Manifold/commits/ba544605bf51dc0fec2104905cdee2c7040ef7d4"}]}