250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson9 years ago 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago 040735dUpdate optparse-applicativeThomas Scholtes9 years ago 44f772dRefactorbe5invis9 years ago 3e86df1added many missing primitives that were in the old backendRui Barreiro9 years ago c76582fmoved js code from AST.hs to Runtime-common.jsRui Barreiro9 years ago cb4f9e6Merge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro9 years ago e57e259Do not run idle GCsNiklas Larsson9 years ago dc44b02new javascript backendRui Barreiro10 years ago e371823Update version numbersv1.0Edwin Brady10 years ago 149fa6fBumped bounds on packages required for LTS Haskell inclusion.Jan de Muijnck-Hughes10 years ago 937c707Update version numbersv0.99.2Edwin Brady10 years ago ffc5cfaIdris builds against LTS Haskell 8.04.Jan de Muijnck-Hughes10 years ago 44706aeRelax dependency on Tagsoup.Jan de Muijnck-Hughes10 years ago e3f4dcaMerge pull request #3679 from jfdm/make-travis-pass-againJan de Muijnck-Hughes10 years ago d4d8a19Make Idris work with GHC 7.6.3 and Tagsoup 0.14.1Jan de Muijnck-Hughes10 years ago a865b02Update version numbersEdwin Brady10 years ago 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott10 years ago fb221e8Allow colored output on MinTTY consoles on WindowsRyan Scott10 years ago 44d86d4Fix the build with most recent blaze-markup (0.8)Ryan Scott10 years ago e59d304Make bound for `safe` dependent in ghc version.Jan de Muijnck-Hughes10 years ago 8559356Relax safe bounds, Fixes #3543.Jan de Muijnck-Hughes10 years ago 4a54ee7Version increment to 0.99v0.99Edwin Brady10 years ago aa91025Bumped cabal version in idris.cabalJan de Muijnck-Hughes10 years ago b8f0ef6Separate modules for termination/coverageEdwin Brady10 years ago 4b21a57Fix building with optparse-applicative-0.13.0Echo Nolan10 years ago db79e8aRun test suite in parallel by defaultEcho Nolan10 years ago b925546Widen bounds on optparse-applicative and aesonEcho Nolan10 years ago 59577e6Update version numberv0.12.3Edwin Brady10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes10 years ago c3f0755replace code level class symbol with inferfacezjhmale10 years ago 7973024Some internal structural Changes.Jan de Muijnck-Hughes10 years ago c866814Moved info show functions to library.Jan de Muijnck-Hughes10 years ago 120b53cMerge pull request #3346 from jfdm/collate-infoJan de Muijnck-Hughes10 years ago ebe39ceMerge pull request #3345 from steshaw/multi-ghc-travis-scriptNiklas Larsson10 years ago c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes10 years ago c31e09fA script to (re)generate multi-ghc-travis template.Steven Shaw10 years ago e9f4200Generate extra-source-files using cabal hookSteven Shaw10 years ago 6f243b1Update idris.cabal extra-source-filesSteven Shaw10 years ago a0c98e4Merge branch 'master' of github.com:idris-lang/Idris-devv0.12.2Edwin Brady10 years ago 2100241Rename testsEdwin Brady10 years ago 7ccb0f9Merge pull request #3311 from BartAdv/pkg-optional-mainJan de Muijnck-Hughes10 years ago 420aa36Update version to 0.12.2Edwin Brady10 years ago 9c32ab6Merge pull request #3282 from steshaw/bug/master/729-layout-ruleJan de Muijnck-Hughes10 years ago 483fd4fBetter handling of optional main in package filesBartosz Przygoda10 years ago 2e70b6cAdded test case for System.system (#3281)Steven Shaw10 years ago e739a25Merge pull request #3279 from steshaw/lines-unlinesJan de Muijnck-Hughes10 years ago f73cb16Add test sources to `idris.cabal` extra-source-files.Steven Shaw10 years ago cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes10 years ago