git.iko.soy/Idris-dev
on 54e4e41 help sign in
history ofidris.cabal
all commits
64df5f6Added WHNF moduleEdwin Brady ca623ceMerge pull request #2444 from Melvar/add-divmodDavid Christiansen 5da0d60Faster processing of alternativesEdwin Brady bcfced2Add inductive divMod to contrib, move the wellfounded oneMelvar Chen 9a3735dRemove dependency to zlibNiklas Larsson 012b898Fix quasiquotes of Raw bindingsDavid Raymond Christiansen def8a1dBump some upper bounds on deps to build w/ stackage-nightlyLeif Warner e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen e1c3a0bbump lens dependencyHeather 0dd0d3bObey the user's optimization settingNiklas Larsson 473d7c2Set default GHC flags to -O1David Christiansen f75980aUpdate version numberEdwin Brady 7259892Merge pull request #2308 from raichoo/masterraichoo 22c8cdaMerge pull request #2315 from david-christiansen/text-binaryDavid Christiansen 11266fbUse Text's own Binary instanceDavid Raymond Christiansen e1311a2remove stray tab character from idris.cabalraichoo a4b8b0fturn on optimizations (-O2) in cabalraichoo 9d295beFix dictionary arguments in dependent type class methodsDavid Raymond Christiansen 5b73dcbFix the broken 'Exact' versions of lookupsEdwin Brady 2de8a47Send absolute file names in annotationsDavid Raymond Christiansen 3034fb6Remove argument ordering hack in elaboratorEdwin Brady f79455eUpdate version numberEdwin Brady 56e8355Fix elaboration of "with ... proof ..." clausesDavid Raymond Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen 443ee31Add coinductive record tests to .cabal fileDavid Raymond Christiansen 69214abBump upper bound of lensDavid Christiansen 445f6a5Make PDirective IO monad freeNiklas Larsson 2a4b4a7Merge pull request #2140 from BlackBrane/new-algDavid Christiansen 28e2668Add reasonable tests for elaborator reflectionDavid Raymond Christiansen 5cdefc5Merge pull request #2170 from melted/zip_ibcNiklas Larsson 5d4ab14Implement zip as the container used in IBC filesNiklas Larsson d6458bbAdd `{n} for quotations of the global name nDavid Raymond Christiansen 53d5548Merge pull request #2167 from david-christiansen/bump-pprint-boundDavid Christiansen ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen c279315Bump bound for annotated-wl-pprintDavid Raymond Christiansen 6f30060Don't look for the parameters of bound variables.David Raymond Christiansen 4f4c993Merge pull request #2155 from identicalsnowflake/optimizationNiklas Larsson 387046aadded test for divNat optimizationidentical snowflake d2e8625Add folding001 test to cabalNiklas Larsson 888338aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c380421Move ElabTerm into Elab.TermEdwin Brady e7d5ef1Split off VectorSpace, Lattice from Algebra moduleBlackBrane 68d844cAdded a test for bignumsNiklas Larsson 7f9fba5Allow adding new effects in Eff programsEdwin Brady b9b19e5Implement bundled toolchain featureNiklas Larsson e5384b9Merge pull request #2080 from jstolarek/T2080David Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek a13b22cMerge branch 'lambda-impossible' of https://github.com/Melvar/Idris-dev into Melvar-lambda-impossibleDavid Raymond Christiansen 13a36a3Annotate functions as %hint for auto searchEdwin Brady