{"push_id":622821395,"size":12,"distinct_size":1,"ref":"refs/heads/heather","head":"6d8877e7306a4b54bb4208aace9ba95921148b59","before":"aeb55c48f62734f5b2279c210e3f8db9fffbe83a","commits":[{"sha":"5f0dbd780ed47ee71c9abc8adf72d292f2940194","author":{"email":"e2cdee8568bbc28a03dfad20b1bb8cae0bb3d43a@ilstu.edu","name":"JP Smith"},"message":"clarify failing searches","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/5f0dbd780ed47ee71c9abc8adf72d292f2940194"},{"sha":"d89af9c67e883dc6fbd1661963c6bb66af4d27a6","author":{"email":"e2cdee8568bbc28a03dfad20b1bb8cae0bb3d43a@ilstu.edu","name":"JP Smith"},"message":"cleaned up redundant 'if'","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/d89af9c67e883dc6fbd1661963c6bb66af4d27a6"},{"sha":"e643ef61adfb2441dc27441afd8507543dc51596","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Don't hardcodee 'cc' as the compiler\n\nFixes ffi006 on windows","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/e643ef61adfb2441dc27441afd8507543dc51596"},{"sha":"05a859dd017184ade05c6cd51dc3550575692cdc","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"HTML path slashes are always '/'.","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/05a859dd017184ade05c6cd51dc3550575692cdc"},{"sha":"a2b3c792bcac309cdf076c143f35fe55a1789f03","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Minor change to disambiguation rules\n\nWhen trying alternatives, if elaborating the first introduces unresolved\ntype classes, consider this a failure and elaborate the second.\nNormally, type classes should resolve as soon after application as\npossible.\n\n(aside: we need to write down precise rules for type-directed\ndisambiguation; they are not straightforward due to the possibility of\ndelaying type class resolution, auto implicits and unresolved\nunification problems. There is a trade off between successful\ndisambiguation and efficient enough compilation, so we should write down\nwhat the current trade off is.)","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/a2b3c792bcac309cdf076c143f35fe55a1789f03"},{"sha":"5d269e39d1a2894881763f755ec73b7ff03117b3","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":":exec can take an expression as an argument\n\nThis compiles the expression and evaluates it. It will either print the\nexpression (if its type is an instance of Show) or run it (if its type\nis IO ()), or give an error otherwise.","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/5d269e39d1a2894881763f755ec73b7ff03117b3"},{"sha":"263510c2a9553164ce6cd46f65861f32fa18d42e","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Forgot CHANGELOG again...","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/263510c2a9553164ce6cd46f65861f32fa18d42e"},{"sha":"018ad5bcfd8747c0fca3f9efd60a27910d92811b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2109 from melted/reslash\n\nHTML path slashes are always '/'.","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/018ad5bcfd8747c0fca3f9efd60a27910d92811b"},{"sha":"1e719ce4ce988bb9bfd1a122c958d3da4ec96d8d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2104 from japesinator/nothing-found\n\nClarify failing searches","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/1e719ce4ce988bb9bfd1a122c958d3da4ec96d8d"},{"sha":"03c2672d76b8064d40b96a3f6c2219bf150d3c84","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2097 from melted/fix_ffi006\n\nDon't hardcode 'cc' as the compiler","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/03c2672d76b8064d40b96a3f6c2219bf150d3c84"},{"sha":"927fc19bd737aa090e649869f850d626eb3aab89","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Prune proof search\n\nIf we encounter a type we've seen before in the branch, we're just going\nin circles, so give up the branch.","distinct":false,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/927fc19bd737aa090e649869f850d626eb3aab89"},{"sha":"6d8877e7306a4b54bb4208aace9ba95921148b59","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"sharingan","distinct":true,"url":"https://api.github.com/repos/Heather/Idris-dev/commits/6d8877e7306a4b54bb4208aace9ba95921148b59"}]}