git.iko.soy/Idris-dev
on master help sign in
history of93f03de..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 f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 9c54fc1Proper checking for language extensionDavid Christiansen 357cd83Add ErrorHandler Binary instanceDavid Christiansen 1203cb9Fix comment syntax for highlightingDavid Christiansen 52d8165Allow functions to be declared as error handlersDavid Christiansen ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross