git.iko.soy/Idris-dev
on 361bc6f help sign in
361bc6fCheck data declarations for redefinitionEdwin Brady e803aeaDon't reset totality for non-total thingsEdwin Brady 6c496b7Better semantics for 'impossible'Edwin Brady 808bbee'impossible' fixEdwin Brady 4a0eba1Add %name directive for naming hints in editing.Edwin Brady cc9acdaAdd 'equiv' to autocompletion of tacticsEdwin Brady c1e2921Add missing error message Fixes #693Edwin Brady 10410deBetter DecEq instances for primitives!Edwin Brady 96234a3Invent names when case splittingEdwin Brady 22fd2adDecEq instances for some primitive typesEdwin Brady a6599cfAdd a test_c target for testing C back end onlyEdwin Brady 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