GitHub PushEvent at 2014-10-26 12:37:43
Repository: Idris-dev
Actor: edwinb
Payload: {"shas":[["37b11f84af9cd95d375edf19560aa3f7e32ae073","435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","Unification fix for chains of solutions\n\nIf we have (x,y), (y,z), etc, we need to have (x,z) as the solution\ninstead, and sometimes this didn't happen.\nFixes #1627","Edwin Brady",true],["e380d0c098223907f2bfe4be57fa592dd2e280d2","75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","Merge pull request #1678 from edwinb/unify-fix\n\nUnification fix for chains of solutions","Edwin Brady",true]],"size":2,"ref":"refs/heads/master","head":"e380d0c098223907f2bfe4be57fa592dd2e280d2"}