{"push_id":538525498,"size":270,"distinct_size":234,"ref":"refs/heads/master","head":"b0257ec8af3d3a891d5767b0b0c64cd422685e87","before":"7a1b64da6e15ddf91812368c764185a7dcadc144","commits":[{"sha":"d99ce6e81c3b8451d86a9431bf68278e505eb7e9","author":{"email":"ff0c0858c931cb5078c8aa4f6f2b38dec2b9423a@morphism.de","name":"Markus Pfeiffer"},"message":"Adapt README to reflect the current state of code generators.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/d99ce6e81c3b8451d86a9431bf68278e505eb7e9"},{"sha":"1a30718cab33739be5acceee6a58c11a2002cff5","author":{"email":"5ec20b0c3581365ece54d51155efdcf5162c489e@morphism.de","name":"Markus Pfeiffer"},"message":"Update README","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/1a30718cab33739be5acceee6a58c11a2002cff5"},{"sha":"a1c7a5abb02ec74047a0ce91b825da1058ba9930","author":{"email":"5ec20b0c3581365ece54d51155efdcf5162c489e@morphism.de","name":"Markus Pfeiffer"},"message":"Update README","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/a1c7a5abb02ec74047a0ce91b825da1058ba9930"},{"sha":"6f5a24489ed83d2fa478a5e8b9ef4d53f61c720e","author":{"email":"b657141fd0ce3847963d2c10502df9e01be6a4db@gmail.com","name":"Mort Yao"},"message":"Add missing case in runIdeSlaveCommand (fixed #1668)","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/6f5a24489ed83d2fa478a5e8b9ef4d53f61c720e"},{"sha":"1542d355407783cfa524dd67ca17083eeac456aa","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Added documentation for the pprint command in the Idris REPL.\n\nThe contributer of pprint forgot to add documentation for its use within idris.\nSuitable documentation has been added.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/1542d355407783cfa524dd67ca17083eeac456aa"},{"sha":"03a049403df75407f3c02ad075a59dbb2a27a805","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Improved documentation.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/03a049403df75407f3c02ad075a59dbb2a27a805"},{"sha":"7f4c8746e2820841dc89a42b4d0875673004bc06","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Remove dep sets from bound variables.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/7f4c8746e2820841dc89a42b4d0875673004bc06"},{"sha":"f866feca9f08976b591fd2cc346bc81cc9ff259c","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Use Set for unique name checking for efficiency\n\nA list is fine in most cases, but we were getting some pathologically\nbad cases especially where there were lots of ambiguous names in large\nfunctions.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/f866feca9f08976b591fd2cc346bc81cc9ff259c"},{"sha":"582649cb740472103882edb17e48c0482d3bd136","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1674 from edwinb/uniquename-set\n\nUse Set for unique name checking for efficiency","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/582649cb740472103882edb17e48c0482d3bd136"},{"sha":"f98ad295b9fada6f9b3a5ade47f15cb94b21eabb","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Extract java backend and dependencies to new repo\n\nIt's now in idris-hackers/idris-java, but I can't promise it works.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/f98ad295b9fada6f9b3a5ade47f15cb94b21eabb"},{"sha":"000bfa07df846af18369120a6fbc4b50833a1193","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Extract java backend and dependencies to new repo\n\nIt's now in idris-hackers/idris-java, but I can't promise it works.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/000bfa07df846af18369120a6fbc4b50833a1193"},{"sha":"ddb2a54ee5ef62c6fdc49133b0c44f26b55c5862","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1669 from soimort/fix-runIdeSlaveCommand\n\nAdd missing case in runIdeSlaveCommand","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/ddb2a54ee5ef62c6fdc49133b0c44f26b55c5862"},{"sha":"21e77f309f91b9a42a10209e20da0858905cec7b","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1670 from jfdm/fix/foc/pprint\n\nAdded documentation for the pprint command in the Idris REPL.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/21e77f309f91b9a42a10209e20da0858905cec7b"},{"sha":"ca0bcf333a2e1d31dbbc4fb1df7fa7bf95f1768f","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1672 from ziman/simplify-erasure\n\nRemove dep sets from bound variables","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/ca0bcf333a2e1d31dbbc4fb1df7fa7bf95f1768f"},{"sha":"df4cd71ad6b6075f01f31a23ad878385f5747ec2","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readme\n\nConflicts:\n\tREADME.md","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/df4cd71ad6b6075f01f31a23ad878385f5747ec2"},{"sha":"b778557f7b15dde6f2083125c75f8b7da7e207e1","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Merge branch 'markuspf-update-readme'","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/b778557f7b15dde6f2083125c75f8b7da7e207e1"},{"sha":"ec0efe7c88b56a2c0044a113655e02997498206b","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1675 from edwinb/javaectomy\n\nExtract java backend and dependencies to new repo","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/ec0efe7c88b56a2c0044a113655e02997498206b"},{"sha":"9fd9de7eb8fe98e8e038c4cea71d276643f8cdca","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Proper error for missing eliminator\n\n...just a Msg, but it's better than an INTERNAL ERROR","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/9fd9de7eb8fe98e8e038c4cea71d276643f8cdca"},{"sha":"799a105f1a94a9596f89ad83665ccac2588f06f1","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Fix missing case in PartialEval.hs\n\nFixes #1664. We may need to think more carefully about how to build\npartially evaluated definitions better later, but this is a safe\nsolution for the moment.","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/799a105f1a94a9596f89ad83665ccac2588f06f1"},{"sha":"c40dd4dae286e987a2d1ee65225ee461e4e1d645","author":{"email":"75097776356cfe35509dd535bf47e958b9a2c41f@gmail.com","name":"Edwin Brady"},"message":"Merge pull request #1676 from edwinb/elimerr\n\nProper error for missing eliminator","distinct":false,"url":"https://api.github.com/repos/lenary/Idris-dev/commits/c40dd4dae286e987a2d1ee65225ee461e4e1d645"}]}