git.iko.soy/Idris-dev
on ae56b06 help sign in
ae56b06Merge pull request #753 from Melvar/obstructive-fact-clauseEdwin Brady 0a6fb1fDon't install packages if there are metavariablesEdwin Brady a811211Fix failing testEdwin Brady 693e3e4Catch import errors in the right placeEdwin Brady d17224dRemove superfluous clause in factMelvar Chen 0700c58Fix another INTERNAL ERROREdwin Brady 5c8acd2Allow newer versions of parser and trifectaEdwin Brady 2f5c756Better error message for 'Not a guess'Edwin Brady 8ac3356Don't unify explicit lambda typesEdwin Brady 73e81f7Temporarily disable gitHash in version stringEdwin Brady ef32bc6Change idris.cabal so library only builds onceEdwin Brady 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 97e39caMerge pull request #751 from Melvar/setup-hs-catchEdwin Brady 0e03531Merge pull request #750 from hannesm/fix-reg029Edwin Brady 078f567fixes reg029 to not use set -u (which does not exist on macosx)Hannes Mehnert edbb52fFix import clash in Setup.hsMelvar Chen 4218126Merge pull request #749 from puffnfresh/default-superclass-instancesEdwin Brady 6b70ce0Merge pull request #748 from david-christiansen/feature/isomorphismsEdwin Brady d599c0aMerge pull request #746 from david-christiansen/absurdityEdwin Brady 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 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 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