{"head":"5e92c7000e77ef6bf4237526a1787e877a6d326f","size":1,"push_id":47408466,"commits":[{"sha":"5e92c7000e77ef6bf4237526a1787e877a6d326f","author":{"name":"Edwin Brady","email":"97a02664f35ad0c9cbf2121dceebca2d7373e34a@cs.st-andrews.ac.uk"},"url":"https://api.github.com/repos/edwinb/MiniIdris/commits/5e92c7000e77ef6bf4237526a1787e877a6d326f","message":"When collecting implicit args in wheres, ignore names bound in above scope"}],"ref":"refs/heads/master","legacy":{"head":"5e92c7000e77ef6bf4237526a1787e877a6d326f","size":1,"push_id":47408466,"shas":[["5e92c7000e77ef6bf4237526a1787e877a6d326f","eb@cs.st-andrews.ac.uk","When collecting implicit args in wheres, ignore names bound in above scope","Edwin Brady"]],"ref":"refs/heads/master"}}