{"push_id":690097252,"size":14,"distinct_size":14,"ref":"refs/heads/master","head":"8ed600091f5b8d99b0b69cfd574bd0b8ec43ff9a","before":"89c19be300d89a98f5ed62a9121f11f213f2723a","commits":[{"sha":"37f5157c7a2d51405b8fafb9125518f593b914d9","author":{"email":"1b1a62814b8770f2553588525fc5a930595d744b@gmail.com","name":"Dennis Griffith"},"message":"Add a DecEq instance for HVect","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/37f5157c7a2d51405b8fafb9125518f593b914d9"},{"sha":"74bfa88683c4781db462f92861dad3ffd653d359","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Type check definitions added during Elab reflection","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/74bfa88683c4781db462f92861dad3ffd653d359"},{"sha":"cb1805b37934b545c8b8fa3eadde1142e444abfc","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Add local namespace access to Elab","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/cb1805b37934b545c8b8fa3eadde1142e444abfc"},{"sha":"9056a4a1fef3c111ec1e3952dc8490ac7efaaf4f","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/9056a4a1fef3c111ec1e3952dc8490ac7efaaf4f"},{"sha":"207ab7fc55489c84691ad45529692caf4b7acc49","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tactical","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/207ab7fc55489c84691ad45529692caf4b7acc49"},{"sha":"3bee81e850acb91b82c8b9ab4b324cd61ad059f2","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Add error handler for Num class","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/3bee81e850acb91b82c8b9ab4b324cd61ad059f2"},{"sha":"d03295d6521d5b6f12621439acb4c0c188f9fe0c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Print directory properly","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/d03295d6521d5b6f12621439acb4c0c188f9fe0c"},{"sha":"34f516d570bece8a1ebf450a89857370d4f68ad6","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Canonicalize paths in internalapp\n\nOtherwise, equal pathnames would not show up as equal, leading to\nproblems in interactive editing if Idris's notion of a relative path\ndidn't agree with the user's notion. For example, loading a file as\n\"Foo/Bar.idr\" would break interactive editing, because Idris would\nremember the name as \"./Foo/Bar.idr\".","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/34f516d570bece8a1ebf450a89857370d4f68ad6"},{"sha":"705c36b5bc5e5c6ccca9f19da5522706fec17700","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2348 from ISANobody/master\n\nAdd a DecEq instance for HVect","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/705c36b5bc5e5c6ccca9f19da5522706fec17700"},{"sha":"101f5f935cff60611809047025a4fef89d2e2dee","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2355 from david-christiansen/interactive-fix\n\nInteractive fix","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/101f5f935cff60611809047025a4fef89d2e2dee"},{"sha":"6bf22eea57bae9fcd0b9c0e823d246a161ef1840","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/6bf22eea57bae9fcd0b9c0e823d246a161ef1840"},{"sha":"54cd5a62fee6f3323f68b0c4b42e54a8476e9ade","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"An interactive Elab shell\n\nThis mirrors the interactive prover, but it uses Elab tactics instead of\nthe old built-in tactic language.","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/54cd5a62fee6f3323f68b0c4b42e54a8476e9ade"},{"sha":"4ad843182074360ec079cb63f5fb906d1b6c5828","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Add Elab shell to CHANGELOG","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/4ad843182074360ec079cb63f5fb906d1b6c5828"},{"sha":"8ed600091f5b8d99b0b69cfd574bd0b8ec43ff9a","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2358 from david-christiansen/wip/tactical\n\nCatch up on Elab","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/8ed600091f5b8d99b0b69cfd574bd0b8ec43ff9a"}]}