cd8fe96Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 2e570a3Merge branch 'default-superclass-instances' of https://github.com/puffnfresh/Idris-dev into puffnfresh-default-superclass-instancesEdwin Brady13 years ago 50e9624Merge pull request #715 from Melvar/masterEdwin Brady13 years ago 7cbf0cbMerge pull request #713 from ahmadsalim/feature/inductiontacticEdwin Brady13 years ago 15ed733(Temporarily) Remove haddock tests from travisEdwin Brady13 years ago d82d928Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 5bee123Merge pull request #717 from jfdm/contrib-guidelinesEdwin Brady13 years ago 1bffa17Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntaxEdwin Brady13 years ago 2397a17Merge pull request #701 from jfdm/contrib/idrislang.styEdwin Brady13 years ago 99beed8Default superclass intancesBrian McKenna13 years ago 65c301cRecursive constructor disjointness + cleanupMatus Tejiscak13 years ago e8ab848Added contributing guidelines.Jan de Muijnck-Hughes13 years ago 3dd83b7Remove superfluous functionMelvar Chen13 years ago 86e32fbReadded solveAllAhmad Salim Al-Sibahi13 years ago 5bc16aeFixed reflection induction tacticAhmad Salim Al-Sibahi13 years ago 1e93672Improvment on readability and usability of induction and eliminators.Ahmad Salim Al-Sibahi13 years ago 2dc07faInduction on nat workingAhmad Salim Al-Sibahi13 years ago 9d0b4eeCorrects infinite stream syntax [start ..]. Closes idris-lang/Idris-dev#706Ahmad Salim Al-Sibahi13 years ago d66da21Cosmetic tweak in interactive editingEdwin Brady13 years ago cb625a2Added inputIdrisListing command to load external files.Jan de Muijnck-Hughes13 years ago 2f52264Fix bracketing problem with \o (again!)Edwin Brady13 years ago c587387Fix buglet in rendering of Nat patterns in :csEdwin Brady13 years ago e6a906aRemove tutorial from idris.cabalEdwin Brady13 years ago 86a0c3aSet version to 0.9.10.1Edwin Brady13 years ago 775acd3Minor fix for variable update in case splitEdwin Brady13 years ago 45d2fd0Bracket output of \o if necessaryEdwin Brady13 years ago ed50df1Simplify logic for setVerbose in REPLBrian McKenna13 years ago df059a3Merge branch 'prelude_cleanup' of https://github.com/sjdrodge/Idris-dev into sjdrodge-prelude_cleanupEdwin Brady13 years ago 3e3b098Give names for clauses generated with :addmissingEdwin Brady13 years ago 361bc6fCheck data declarations for redefinitionEdwin Brady13 years ago f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna13 years ago efb3324Replace Prelude.Vect.intersperse with a saner-typed version. Make intersperse' a proper helper function (non-exported).Stephen Drodge13 years ago 848d66dReplace Prelude.Vect.take and Prelude.Vect.drop with versions of a saner type signature.Stephen Drodge13 years ago d904212Add FinZAbsurd and FinZElim.Stephen Drodge13 years ago fadbbc8Replace global-scope helpers finToNat and finToInteger with functions whose type signatures match the names.Stephen Drodge13 years ago 0f97368Merge branch 'master' into cabal-libraryBrian McKenna13 years ago 5000aebAdd a Cabal libraryBrian McKenna13 years ago 9c54fc1Proper checking for language extensionDavid Christiansen13 years ago 357cd83Add ErrorHandler Binary instanceDavid Christiansen13 years ago 1203cb9Fix comment syntax for highlightingDavid Christiansen13 years ago 52d8165Allow functions to be declared as error handlersDavid Christiansen13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago