git.iko.soy/Idris-dev
on 90bad48 help sign in
90bad48Refactors rndFin' to only accept length > 0 vectorsKester Tong 31b48edAdds rndSelectKester Tong 5ded2c1Adds docstringsKester Tong ce9afaeMakes rndFin take all values in Fin (S k)Kester Tong 7ed177aBetter error for ambiguous instance nameEdwin Brady f2bf55dMerge 'not unified' variablesEdwin Brady 51394aaAdd 'unify' tacticEdwin Brady 601342ftrans doesn't need homogeneous equalitiesEdwin Brady e28fbb1Merge pull request #1104 from puffnfresh/docsEdwin Brady 074e10bMerge pull request #1103 from PhilipRasmussen/idrisdocEdwin Brady 3badee5Merge pull request #1097 from david-christiansen/pprintEdwin Brady 140d8d2Add check after each proof step, not just the endEdwin Brady e202cfdMade test resistant to differences among command implementationsPhilip Rasmussen ab6de0eChanged test implementationPhilip Rasmussen 31c4938Added missing test directoryPhilip Rasmussen 079856cRemoved test backups and converted tests to pure bash scriptsPhilip Rasmussen 3146e46Rewrote 'expected' filePhilip Rasmussen 6f08060Added IdrisDoc testsPhilip Rasmussen aed1014Fixed merge bugPhilip Rasmussen 4155853--link and --include give flags, not directoriesBrian McKenna a85feebMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 0bd42f1Read 'lineapps' data from IBCEdwin Brady 03a24ffMerge pull request #1094 from david-christiansen/internal-docstringsEdwin Brady d0951b5Merge pull request #1093 from puffnfresh/bug-fixesEdwin Brady c3f26e9Normalise before case splitEdwin Brady ee4c96eCorrect opening brace in implicits in pprinterDavid Raymond Christiansen d9ab891Add note about additional docs to CHANGELOGDavid Raymond Christiansen 66a2636Docstring improvement for prop. eq.David Raymond Christiansen 8fe60a2Enable word-wrapping in docstringsDavid Raymond Christiansen 1080689Improve the portability of reg041David Raymond Christiansen 5bd1695Add -e EXPR to evaluate expressions w/out REPLDavid Raymond Christiansen 6a011d8Add docstrings to internally defined typesDavid Raymond Christiansen ecd8c56Make completeCmd totalBrian McKenna 9abed6aTweak notion of recoverability in coverage checkerEdwin Brady 2820945Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 85ff9c2Coverage checker fixEdwin Brady 87c172cMerge pull request #1091 from ziman/accentsEdwin Brady 8c6939dAdd some UTF8 to CONTRIBUTORS.Matus Tejiscak 8bf2f8aMerge pull request #1090 from david-christiansen/rasmussen-creditEdwin Brady e467865Give Philip credit in CHANGELOG and CONTRIBUTORSDavid Raymond Christiansen 9c3b457Update CHANGELOG/CONTRIBUTORSEdwin Brady 35a6062Merge pull request #1089 from david-christiansen/issue/1024Edwin Brady c69550aMerge pull request #1088 from david-christiansen/issue/983Edwin Brady b2f9f85Merge branch 'fix-unsafeperformio' of https://github.com/ziman/idris into ziman-fix-unsafeperformioEdwin Brady 22f47ffMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady fc17f28Rename test in idris.cabal too...Edwin Brady 9302221Rename test reg040 to avoid clashEdwin Brady c146683Merge pull request #1084 from paulkoerbitz/add-fasta-benchmarkEdwin Brady 7d2e18fMerge pull request #1085 from david-christiansen/PhilipRasmussen-idrisdocEdwin Brady d8a6925Merge pull request #1083 from david-christiansen/ideslave-refineEdwin Brady