git.iko.soy/Idris-dev
on cc35585 help sign in
cc35585Merge pull request #688 from david-christiansen/haddock-on-testEdwin Brady b881bffUpdate result of reg028Edwin Brady 7b8f3b4Merge branch 'feature/eliminators' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/eliminatorsEdwin Brady 22fcec9Merge pull request #692 from puffnfresh/show-changesEdwin Brady ada8e73Report top level class resolution failureEdwin Brady 232a592Replace partial `showDeclImp` function with total `dumpDecl`Brian McKenna a0b21e3AbsSyntaxTree `showName` should use `showCG`, not `show`Brian McKenna 967d422Use `showCG` instead of `show` when loading package namesBrian McKenna 9900e63`showCG` should be recursive and not use `show`Brian McKenna 947766bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 40e6293Some interactive editing fixesEdwin Brady 985fe52Merge remote-tracking branch 'jfdm/haddock' into haddock-on-testDavid Christiansen 08eb2e2Generate Haddock as a part of testingDavid Christiansen 455fabaMerge pull request #685 from jfdm/tutorialEdwin Brady 5afcedbFixed malformed haddock commentsJan de Muijnck-Hughes 17c7240Tutorial changes.Jan de Muijnck-Hughes a10bcf0Tweak CHANGELOGv0.9.10Edwin Brady 969b6aaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3000418Update CHANGELOGEdwin Brady 01b1903Merge pull request #682 from tomprince/travis-matrixEdwin Brady 8ebc6beAdd some system-level ghc packages.Tom Prince 1c6a992Distribute travis builds.Tom Prince 027bd15Merge pull request #675 from cgswords/masterEdwin Brady 280b265Merge pull request #680 from jfdm/prelude/integralsEdwin Brady 3752f8eMerge pull request #679 from jfdm/prelude/charsEdwin Brady ab67612Merge pull request #672 from hannesm/fix-668Edwin Brady e859a3aMerge pull request #676 from markuspf/fix-enumEdwin Brady 58a12c1Totality checker improvements (soundness)Edwin Brady 725587fFixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)Ahmad Salim Al-Sibahi ed8d233Partial support for Integral Classes.Jan de Muijnck-Hughes cfe6962Added support for more char primitives.Jan de Muijnck-Hughes ec3daa4Make sure deferred definitions get totality checkedEdwin Brady cbf2b05Fix enumFromTo for Nat, Int, and IntegerMarkus Pfeiffer 386753dAdded a --nobanner flag to supress the banner.cswords b3bf956When specialising, reduce more namesEdwin Brady 9a89a8dEliminators working for some type - still experimental. Will create a way to make them work with the elim type classAhmad Salim Al-Sibahi 5075b24Support for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPLHannes Mehnert 77b1fafSwitch on 'elabPE'Edwin Brady 1688c44Documented the Chars module and added new functions.Jan de Muijnck-Hughes a10e866Added data optionsAhmad Salim Al-Sibahi 16847d5Merge pull request #670 from walkie/masterEdwin Brady 4f1b604Merge pull request #669 from Melvar/showstringEdwin Brady 7514bd0Don't need NFData instances for constantsEdwin Brady fcfbfaaMake GMP optional (default off)Edwin Brady adea8a9Bug fix in integerToFin.Eric Walkingshaw 6aeaeb6Add cabal sandbox stuff to .gitignore.Eric Walkingshaw ea3b20aFix rendering of LChInt in Java backendMelvar Chen 61281efUpdate language-java dependency to 0.2.6Melvar Chen 9857679Fix Char literal matching in C codegenMelvar Chen 848d5b9Adjust tests to the changed String show instanceMelvar Chen