git.iko.soy/Idris-dev
on 65c301c help sign in
65c301cRecursive constructor disjointness + cleanupMatus Tejiscak 2f52264Fix bracketing problem with \o (again!)Edwin Brady c587387Fix buglet in rendering of Nat patterns in :csEdwin Brady e6a906aRemove tutorial from idris.cabalEdwin Brady 86a0c3aSet version to 0.9.10.1Edwin Brady 775acd3Minor fix for variable update in case splitEdwin Brady 45d2fd0Bracket output of \o if necessaryEdwin Brady df059a3Merge branch 'prelude_cleanup' of https://github.com/sjdrodge/Idris-dev into sjdrodge-prelude_cleanupEdwin Brady 3e3b098Give names for clauses generated with :addmissingEdwin Brady 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 efb3324Replace Prelude.Vect.intersperse with a saner-typed version. Make intersperse' a proper helper function (non-exported).Stephen Drodge 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 848d66dReplace Prelude.Vect.take and Prelude.Vect.drop with versions of a saner type signature.Stephen Drodge d904212Add FinZAbsurd and FinZElim.Stephen Drodge fadbbc8Replace global-scope helpers finToNat and finToInteger with functions whose type signatures match the names.Stephen Drodge 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