f25def1Merge pull request #2525 from david-christiansen/directory-1.2.3.0-blacklistDavid Christiansen11 years ago cfa1522Blacklist directory 1.2.3.0David Raymond Christiansen11 years ago 8c28352Some Prelude reorganisationEdwin Brady11 years ago 6784f7aMerge pull request #2376 from jfdm/logging-effectNiklas Larsson11 years ago 44dad1cFixed missing entry in Cabal file.Jan de Muijnck-Hughes11 years ago 99b8194Fix access for file and cabal files.Jan de Muijnck-Hughes11 years ago d649f2eSeparate numeric/algebraic matrix ops from basic matrix functionsBlackBrane11 years ago 64df5f6Added WHNF moduleEdwin Brady11 years ago ca623ceMerge pull request #2444 from Melvar/add-divmodDavid Christiansen11 years ago 5da0d60Faster processing of alternativesEdwin Brady11 years ago bcfced2Add inductive divMod to contrib, move the wellfounded oneMelvar Chen11 years ago 9a3735dRemove dependency to zlibNiklas Larsson11 years ago 012b898Fix quasiquotes of Raw bindingsDavid Raymond Christiansen11 years ago def8a1dBump some upper bounds on deps to build w/ stackage-nightlyLeif Warner11 years ago ff5b230Fixes to Logging effectJan de Muijnck-Hughes11 years ago 59f7f98Effectful Logging.Jan de Muijnck-Hughes11 years ago e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen11 years ago 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen11 years ago e1c3a0bbump lens dependencyHeather11 years ago 0dd0d3bObey the user's optimization settingNiklas Larsson11 years ago 473d7c2Set default GHC flags to -O1David Christiansen11 years ago f75980aUpdate version numberEdwin Brady11 years ago 7259892Merge pull request #2308 from raichoo/masterraichoo11 years ago 22c8cdaMerge pull request #2315 from david-christiansen/text-binaryDavid Christiansen11 years ago 11266fbUse Text's own Binary instanceDavid Raymond Christiansen11 years ago e1311a2remove stray tab character from idris.cabalraichoo11 years ago a4b8b0fturn on optimizations (-O2) in cabalraichoo11 years ago 9d295beFix dictionary arguments in dependent type class methodsDavid Raymond Christiansen11 years ago 5b73dcbFix the broken 'Exact' versions of lookupsEdwin Brady11 years ago 2de8a47Send absolute file names in annotationsDavid Raymond Christiansen11 years ago 3034fb6Remove argument ordering hack in elaboratorEdwin Brady11 years ago f79455eUpdate version numberEdwin Brady11 years ago 56e8355Fix elaboration of "with ... proof ..." clausesDavid Raymond Christiansen11 years ago 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen12 years ago 443ee31Add coinductive record tests to .cabal fileDavid Raymond Christiansen12 years ago 69214abBump upper bound of lensDavid Christiansen12 years ago 445f6a5Make PDirective IO monad freeNiklas Larsson12 years ago 2a4b4a7Merge pull request #2140 from BlackBrane/new-algDavid Christiansen12 years ago 28e2668Add reasonable tests for elaborator reflectionDavid Raymond Christiansen12 years ago 5cdefc5Merge pull request #2170 from melted/zip_ibcNiklas Larsson12 years ago 5d4ab14Implement zip as the container used in IBC filesNiklas Larsson12 years ago d6458bbAdd `{n} for quotations of the global name nDavid Raymond Christiansen12 years ago 53d5548Merge pull request #2167 from david-christiansen/bump-pprint-boundDavid Christiansen12 years ago ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen12 years ago c279315Bump bound for annotated-wl-pprintDavid Raymond Christiansen12 years ago 6f30060Don't look for the parameters of bound variables.David Raymond Christiansen12 years ago 4f4c993Merge pull request #2155 from identicalsnowflake/optimizationNiklas Larsson12 years ago 387046aadded test for divNat optimizationidentical snowflake12 years ago d2e8625Add folding001 test to cabalNiklas Larsson12 years ago 888338aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago