{"push_id":602380623,"size":23,"distinct_size":23,"ref":"refs/heads/master","head":"ad2f1864e480e9f8548005f58072cfaa711e6a47","before":"e9c96d40c4a271d46f9fd602ec3fa31df058308c","commits":[{"sha":"2d205a610d5c439262c48715b219d5a3a218d2cc","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: basic plumbing of types and parsing","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/2d205a610d5c439262c48715b219d5a3a218d2cc"},{"sha":"17743d44ac28b4b50bda2bb98b0617e6e83c8959","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: let elabInstance add docstrings to context","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/17743d44ac28b4b50bda2bb98b0617e6e83c8959"},{"sha":"3d7aba56c85420a5e10ffa44152c2678a3cdf574","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: show in :doc output","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/3d7aba56c85420a5e10ffa44152c2678a3cdf574"},{"sha":"5ca59ef1106cd012371494e0b280d0a998bfb02b","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: haddocks grammar","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/5ca59ef1106cd012371494e0b280d0a998bfb02b"},{"sha":"642efb3386dda59c9d96d5b644ef32391f1201d8","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: Update CHANGELOG and CONTRIBUTORS","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/642efb3386dda59c9d96d5b644ef32391f1201d8"},{"sha":"df1a933aaccac9e5c93a62de7a47cd8e7a1bab05","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: factor away unnecessary try:s","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/df1a933aaccac9e5c93a62de7a47cd8e7a1bab05"},{"sha":"9d45713cf128e444d07735a6b9be9cdcc9ff9fed","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: add some instance docs to libs","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/9d45713cf128e444d07735a6b9be9cdcc9ff9fed"},{"sha":"7733fba1b4ec87e94a0f800a7d6089e5fc9acf2a","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: hide conflicting Err import","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/7733fba1b4ec87e94a0f800a7d6089e5fc9acf2a"},{"sha":"540f817cc4fe9b3bad6a72b818643b288df15fd4","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: add one test case","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/540f817cc4fe9b3bad6a72b818643b288df15fd4"},{"sha":"75bf0d82428540f4ef0b976c1ffe9acd1a22bfef","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: simplify test case","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/75bf0d82428540f4ef0b976c1ffe9acd1a22bfef"},{"sha":"8855d2503b365a8c30f4961d86b97060e9557d19","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: align instance doc with member doc","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/8855d2503b365a8c30f4961d86b97060e9557d19"},{"sha":"7ba4da0013b0f3394eb087b26b0ac9554b9eb5b6","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: instance parameter documentation","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/7ba4da0013b0f3394eb087b26b0ac9554b9eb5b6"},{"sha":"9bc0b4a79e4de505b34782a0563b20bc8920845e","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: fix test case","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/9bc0b4a79e4de505b34782a0563b20bc8920845e"},{"sha":"c72c60a7f299c3fadfcd079964d256a6efbbe6ef","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: add test case to cabal file","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/c72c60a7f299c3fadfcd079964d256a6efbbe6ef"},{"sha":"ccc2af014ae74b7d28f618cb4d3efe4fc27ff412","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"instance docs: rename testcase","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/ccc2af014ae74b7d28f618cb4d3efe4fc27ff412"},{"sha":"d1d6a7ed5df4679d95a253e29d0c5cf349d9ba20","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #1983 from adamse/instance-docs\n\nInstance docs","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/d1d6a7ed5df4679d95a253e29d0c5cf349d9ba20"},{"sha":"6fe15ea096b17aa250a6e4838e9fa26ccb877ecb","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Allow type providers to have docstrings","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/6fe15ea096b17aa250a6e4838e9fa26ccb877ecb"},{"sha":"972b2a51d11929c3e7ea4c80e878a26b20fe749e","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Update CHANGELOG for type provider docs","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/972b2a51d11929c3e7ea4c80e878a26b20fe749e"},{"sha":"774e2fea98927da13d402e4eee96bc49ee027206","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Add type providers docs test case to cabal file","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/774e2fea98927da13d402e4eee96bc49ee027206"},{"sha":"d3649824df8e50338b0f2951597329fff20953b9","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Improve rewriter for Fin.fromInteger\n\nIt now offers different errors when it couldn't prove the lemma due to\nhaving a variable for the Integer, or when it couldn't prove it due to\nhaving concrete values that are directly incorrect.","distinct":true,"url":"https://api.github.com/repos/adamse/Idris-dev/commits/d3649824df8e50338b0f2951597329fff20953b9"}]}