git.iko.soy/Idris-dev
on 967d422 help sign in
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 455fabaMerge pull request #685 from jfdm/tutorialEdwin Brady 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 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 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 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 0913bd1Change Show instances for Char and String to match their literalsMelvar Chen 9418fe0Add String offsets to VMEdwin Brady 73e2e7eMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a1d811fMerge pull request #666 from jstolarek/fast-parser-compilationEdwin Brady 0246f66Merge pull request #664 from sjdrodge/assert_total_cleanupEdwin Brady 6625b24Turn off optimisations when compiling parserJan Stolarek 5d71e52Replace some Heap proofs with impossible.Stephen Drodge 0ea9704Use toNat to avoid %assert_total when negative Int is treated the same as 0.Stephen Drodge a17d8d5Remove some of the more easily avoided %assert_totalsStephen Drodge 205ad70Tweak reduction rules for private/abstract namesEdwin Brady c459480Improve type class overlap checkEdwin Brady 0e3d87eMore flexible type class instances (on functions)Edwin Brady dbbdbb2Merge pull request #662 from hannesm/error-cleanupEdwin Brady