9900e63`showCG` should be recursive and not use `show`Brian McKenna13 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 947766bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 40e6293Some interactive editing fixesEdwin Brady13 years ago 985fe52Merge remote-tracking branch 'jfdm/haddock' into haddock-on-testDavid Christiansen13 years ago 5afcedbFixed malformed haddock commentsJan de Muijnck-Hughes13 years ago 725587fFixed testing failures I accidentally introduced when showing a better naming for machine generated names (so that I could better debug)Ahmad Salim Al-Sibahi13 years ago 9a89a8dEliminators working for some type - still experimental. Will create a way to make them work with the elim type classAhmad Salim Al-Sibahi13 years ago a10e866Added data optionsAhmad Salim Al-Sibahi13 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