git.iko.soy/Idris-dev
on a675cdb help sign in
history ofidris.cabal
all commits
61cf812Update version numberv1.3.0Edwin Brady b8f34d1Bump to LTS 11.3 and fingertree-0.1.4.1Joomy Korkut ff5322dAllow building on GHC 8.4.1Ryan Scott f351735stack test --nix should work nowJorge Acereda ecd3bc6Update Cabal-Version field to 1.22Ahmad Salim Al-Sibahi 5843c91add issue tracker to .cabal fileJens Petersen d3d1bdaBump ansi-terminal upper bound to <0.9Mike Pilgrem d77513bUpdate version number properly this time (sorry!)v1.2.0Edwin Brady ab806e9Update version numberEdwin Brady cd7e553Bumped Idris to work with LTS Haskell 10.Jan de Muijnck-Hughes b1a4264Improve error message locations (#4210)Jason Felice f33ba47No longer need transformers-compatJason Felice 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