git.iko.soy/Idris-dev
on master help sign in
history ofce2d69d..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 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 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 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 f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross