git.iko.soy/Idris-dev
on aeb032a help sign in
history ofidris.cabal
all commits
a0e585bSupport GHC 7.10Jason Felice b0aacb5Merge remote-tracking branch 'upstream/master' into megaparsecJason Felice 5e9d8deUse Megaparsec for expressions, remove `parsers` depJason Felice 979404eRemove trifecta dependencyJason Felice a817addConvert IdeMode.hs to use megaparsecJason Felice 6e0eebcExpose Idris.Package.ParserMatthew Pickering c37edddMake Idris build with Stack nightlyAlex Queiroz 6a00842Update win32 boundsNiklas Larsson fcd2677Fix fingertree bounds to < 0.1.2Ahmad Salim Al-Sibahi d4bd8e6Clean up unused imports (#4065)Jason Felice bfee5e6Add Paths_idris to other-modules of codegen executablesRyan Scott 0338341Try to make appveyor not be mad at warningsNiklas Larsson e4fbe77Add missing 'Default-Language' fieldEdwin Brady 5e0301cIncrement version, update CHANGELOGEdwin Brady e71ead1Merge pull request #3965 from felixonmars/cheapskate-0.1.1Niklas Larsson 011de20Merge pull request #3860 from edmundsmith/issue3796Niklas Larsson 65c1e9bAdd custom-setupRyan Scott 8afc195Merge branch 'master' of Idris-dev into issue3796Edmund Smith 41de3e7Fix compatibility with cheapskate-0.1.1Felix Yan b9b32e5Require 'unix' library on non-Windows machines, fixes #3961Scott Bonds 9831b01Lower cheapskate boundNiklas Larsson ab65a30Merge branch 'master' of Idris-dev into issue3796Edmund Smith 5c6c22fMerge branch 'master' into cabal_stuffNiklas Larsson 70f172cOkay, let's use semver... (increment to v1.1.0)v1.1.0Edwin Brady 5d7388bMove extensions into source filesEdwin Brady 7a54e9cUpdate version numberv1.0.1Edwin Brady 5969872Increase upper bounds for some packagesNiklas Larsson 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 040735dUpdate optparse-applicativeThomas Scholtes 59bfe8bUse explicit IEEE-friendly marshallingEdmund Smith 44f772dRefactorbe5invis 3e86df1added many missing primitives that were in the old backendRui Barreiro c76582fmoved js code from AST.hs to Runtime-common.jsRui Barreiro cb4f9e6Merge branch 'master' of github.com:idris-lang/Idris-dev into liftDecls_js_backendRui Barreiro e57e259Do not run idle GCsNiklas Larsson dc44b02new javascript backendRui Barreiro e371823Update version numbersv1.0Edwin Brady 149fa6fBumped bounds on packages required for LTS Haskell inclusion.Jan de Muijnck-Hughes 937c707Update version numbersv0.99.2Edwin Brady ffc5cfaIdris builds against LTS Haskell 8.04.Jan de Muijnck-Hughes 44706aeRelax dependency on Tagsoup.Jan de Muijnck-Hughes e3f4dcaMerge pull request #3679 from jfdm/make-travis-pass-againJan de Muijnck-Hughes d4d8a19Make Idris work with GHC 7.6.3 and Tagsoup 0.14.1Jan de Muijnck-Hughes a865b02Update version numbersEdwin Brady 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott fb221e8Allow colored output on MinTTY consoles on WindowsRyan Scott 44d86d4Fix the build with most recent blaze-markup (0.8)Ryan Scott e59d304Make bound for `safe` dependent in ghc version.Jan de Muijnck-Hughes 8559356Relax safe bounds, Fixes #3543.Jan de Muijnck-Hughes