git.iko.soy/Idris-dev
on 2ffd9e4 help sign in
history ofidris.cabal
all commits
f13c6adAdd test, create the DepPair typeclass.Matus Tejiscak 2d22462Check that proof steps introduce no new problemsEdwin Brady 34e492dRemove the windows header files from cabalNiklas Larsson 8b55229Merge pull request #1222 from klrr/split-binsDavid Christiansen 829bd85Update idris.cabalNiklas Larsson 9be5866started working on new cmd arg parserklrr dae7d7dMove interactive commands to their own moduleEdwin Brady d471c7dMerge pull request #1216 from jeffersoncarpenter/blaze-markup-versionEdwin Brady 8d07967Stop building packages if there are totality mismatchesDavid Raymond Christiansen acf010bincremented blaze markup versionJefferson Carpenter 624d6c7Fix precedence of application vs arrows in pprintDavid Raymond Christiansen 9aa90beAdded nested record access syntaxEdwin Brady 05a46f2Generate better record update functionsEdwin Brady 1e1f648Added IdrisDoc test which verifies inclusion of abstract and public namespace membersPhilip Rasmussen e196594Updated idrisdoc006 to be more throughlyPhilip Rasmussen abd5f0cremove javascript lib in favor of idris-hacker/iQueryraichoo 27cd063Add a regression test.Matus Tejiscak 079856cRemoved test backups and converted tests to pure bash scriptsPhilip Rasmussen 6f08060Added IdrisDoc testsPhilip Rasmussen 9abed6aTweak notion of recoverability in coverage checkerEdwin 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 7d2e18fMerge pull request #1085 from david-christiansen/PhilipRasmussen-idrisdocEdwin Brady cfe250aCase tree building considers heterogeneous typesEdwin Brady cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen 4ed9178Add the test to the cabal file.Matus Tejiscak e07c13dAdd :refine (:ref) command for refining a holeEdwin Brady a4295e3Merge pull request #1070 from david-christiansen/whocallsEdwin Brady 56147bfMerge pull request #1067 from Melvar/fix-reg039Edwin Brady 418a6b6Add :who-calls and :calls-who to IDESlaveDavid Raymond Christiansen 1f67546Fix test reg039 and add it to idris.cabalMelvar Chen bb6873cAdd ASTUtils.Matus Tejiscak 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen dd44389Merged with masterPhilip Rasmussen 72b473dMove Erasure back into Idris/.Matus Tejiscak fe0e037Move erasure to IRTS.Matus Tejiscak 2ac5aaaRename UnusedArgs to Erasure.Matus Tejiscak d2eaa28Update version numberv0.9.12Edwin Brady 20e0bf4Merged with masterPhilip Rasmussen f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 25bbcb0Revert the trifecta change.Gabe McArthur 9607cd8Fixing the build.Gabriel McArthur 877c638IdrisDoc begunPhilip Rasmussen 7cea995Add tests for tutorial examplesEdwin Brady 678fc86Finish guardedness checkEdwin Brady b0720b0Change guardedness check for new-style coinductionEdwin Brady 1921424Add :apropos command to REPLDavid Raymond Christiansen 4ba5460Make 'neweffects' the official effects packageEdwin Brady