git.iko.soy/Idris-dev
on 7cbf0cb help sign in
7cbf0cbMerge pull request #713 from ahmadsalim/feature/inductiontacticEdwin Brady 15ed733(Temporarily) Remove haddock tests from travisEdwin Brady d82d928Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 5bee123Merge pull request #717 from jfdm/contrib-guidelinesEdwin Brady 1bffa17Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntaxEdwin Brady 2397a17Merge pull request #701 from jfdm/contrib/idrislang.styEdwin Brady e8ab848Added contributing guidelines.Jan de Muijnck-Hughes 86e32fbReadded solveAllAhmad Salim Al-Sibahi 5bc16aeFixed reflection induction tacticAhmad Salim Al-Sibahi 1e93672Improvment on readability and usability of induction and eliminators.Ahmad Salim Al-Sibahi 2dc07faInduction on nat workingAhmad Salim Al-Sibahi 9d0b4eeCorrects infinite stream syntax [start ..]. Closes idris-lang/Idris-dev#706Ahmad Salim Al-Sibahi d66da21Cosmetic tweak in interactive editingEdwin Brady cb625a2Added inputIdrisListing command to load external files.Jan de Muijnck-Hughes 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