{"push_id":852575991,"size":11,"distinct_size":1,"ref":"refs/heads/master","head":"c08d907540537cc6b08037e15b0dc00e62a2641f","before":"7b1911b9375a76218f9976e498a7765e90a9c1f7","commits":[{"sha":"eb0e33e2e58cdc2c3b684afb9aa5bbae2aa75c81","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Add fresh types to all anchors","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/eb0e33e2e58cdc2c3b684afb9aa5bbae2aa75c81"},{"sha":"0b33191fb5d366ac743b19289c119d2b0bba52d3","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Push down errorState into InputAnchor","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/0b33191fb5d366ac743b19289c119d2b0bba52d3"},{"sha":"d5bdf2b6d191a73653147042d701dedf730f1b0f","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Use connection based type checking for error detection","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/d5bdf2b6d191a73653147042d701dedf730f1b0f"},{"sha":"38db5bb8f66b68d5c8c9a0858153387e91d94385","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Support recovery of indirect errors","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/38db5bb8f66b68d5c8c9a0858153387e91d94385"},{"sha":"2e30699202c6fa7478ff4c9461add66f147d4aaa","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Switch displaying of types over to connection types","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/2e30699202c6fa7478ff4c9461add66f147d4aaa"},{"sha":"fdc4aebcd7d45fa95ff0aabee25391bf6f56e3df","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Deal with the typechecking cornercase in lambdas","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/fdc4aebcd7d45fa95ff0aabee25391bf6f56e3df"},{"sha":"32ef8b5735e30470c3e0a06e73000868b9a59761","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Directly typecheck new connections","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/32ef8b5735e30470c3e0a06e73000868b9a59761"},{"sha":"6fb6d9e3b96f3f6c83d39dbd9f84d6f5439ab7b0","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Allow string contexts for unification (errors)","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/6fb6d9e3b96f3f6c83d39dbd9f84d6f5439ab7b0"},{"sha":"83d86aae60cfaae6baae40ef42e33be98fd70acc","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Forgot to save some cleanup","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/83d86aae60cfaae6baae40ef42e33be98fd70acc"},{"sha":"df9efb8570003b2c46c3391439a1baac3fa6a241","author":{"email":"d70dc0c100d23b2c8ad063288b9ada6161c27b91@utwente.nl","name":"Arjan"},"message":"Fix type propagation from lambda's to the outside\n\nAs a side effect this also make types propagate into the inside of a\nlambda, but this can not be changed before blocks are in a hierachal\nstructure where is known which blocks are inside which lambda.","distinct":false,"url":"https://api.github.com/repos/wandernauta/viskell/commits/df9efb8570003b2c46c3391439a1baac3fa6a241"},{"sha":"c08d907540537cc6b08037e15b0dc00e62a2641f","author":{"email":"9e6118211f94e14ec4ed1c736c7415ce5cd23ef3@users.noreply.github.com","name":"Flumble"},"message":"Merge pull request #228 from wandernauta/wire_typecheck\n\nSwitch to connection based typechecking","distinct":true,"url":"https://api.github.com/repos/wandernauta/viskell/commits/c08d907540537cc6b08037e15b0dc00e62a2641f"}]}