git.iko.soy/Idris-dev
on master help sign in
history of83fdb4d..master
compare
abe366eMerge pull request #744 from Melvar/executor-null-stringEdwin Brady c68b376Merge pull request #743 from david-christiansen/show-git-in-version-2Edwin Brady 5eaf1f5Cut off fruitless proof search earlierEdwin Brady c7d96f5Make dumping of default superclass instances consistentBrian McKenna c303030Forgot to add Effect.Monad...Edwin Brady ae76a83Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a2bf00fExplain strange case in reflectListEffElem!Edwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 7e4ad1fMake :info show default superclass instancesBrian McKenna 68daa48Make spacing consistentDavid Christiansen 88dbc74Add isomorphisms for FinDavid Christiansen b144e35Weakening and shifting of FinsDavid Christiansen a3e2524Add more isomorphismsDavid Christiansen dc64734Monad/Applicative/Functor instances for EffEdwin Brady 04a5b4aAdd a function for dealing with absurdityDavid Raymond Christiansen d4dfcc3Add missing regression tests to idris.cabalMelvar Chen 2fe2ecaAdd regression test for possibly-null foreign strings in the executorMelvar Chen 3e19367Allow the executor to call foreign functions that return possibly-null strings.Melvar Chen 1f5beb6Fix LLVM compilation error because of moved `getCC`Brian McKenna e626474Show Git revision IDs in pre-release versionsDavid Christiansen ce2d69dCheck the type of elaborated error handlersDavid Christiansen 67da31aMerge branch 'master' into cabal-libraryBrian McKenna 77ab9a1Merge pull request #740 from david-christiansen/campsite-ruleEdwin Brady 0c0d414Add campsite rule to CONTRIBUTING.mdDavid Christiansen c255ed0Merge pull request #735 from david-christiansen/gitignore-updatesEdwin Brady 2aab37fMerge pull request #731 from hannesm/report-column-on-warningEdwin Brady a4801daMerge pull request #730 from david-christiansen/feature/isomorphismsEdwin Brady 1486a1dAdd HPC files to .gitignoreDavid Christiansen 75933d6Allow querying the registered error handlersDavid Christiansen 82fe0c6Merge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Christiansen 00577beMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8c93763Careful when unifying explicit argumentsEdwin Brady cbe9965on error, report the column, as well as the line number in the ideslave mode.Hannes Mehnert 423ec61Fix stupid typoDavid Christiansen 228c4dfAdd Syntax namespace to cabal fileDavid Christiansen 49bc500List modules in dependency orderDavid Christiansen ebb4691getSpecClause may return multiple clauses laterEdwin Brady fc0a04cAdd test for preorder reasoning syntaxDavid Christiansen 6749dd5Mention preorder reasoning in CHANGELOGDavid Christiansen e01605bAdd a representation of isomorphisms and some useful base isosDavid Christiansen 93f03deAdd syntax for Agda-style reasoning over preordersDavid Christiansen 8695646Merge pull request #728 from david-christiansen/issue/727Edwin Brady 3448099Invoke the chaser as a consequence of :lDavid Christiansen 5b6626cMerge pull request #726 from Melvar/collections-fixEdwin Brady 7d30e05Fix too-new importMelvar Chen b8f7742Merge pull request #725 from david-christiansen/cleanup-repl-invokeEdwin Brady 0724907Logic cleanup for REPLDavid Christiansen cbccdd0Update IBC versionEdwin Brady dccddd2Merge branch 'forceability-cleanup-squashed' of https://github.com/ziman/idris into ziman-forceability-cleanup-squashedEdwin Brady 3eefa1eMerge pull request #722 from puffnfresh/simplify-setverboseEdwin Brady