git.iko.soy/Idris-dev
on da8b88a help sign in
da8b88ashow incomplete term holes for listy constructorsJP Smith 927fc19Prune proof searchEdwin Brady 03c2672Merge pull request #2097 from melted/fix_ffi006David Christiansen 1e719ceMerge pull request #2104 from japesinator/nothing-foundDavid Christiansen 018ad5bMerge pull request #2109 from melted/reslashDavid Christiansen 263510cForgot CHANGELOG again...Edwin Brady 5d269e3:exec can take an expression as an argumentEdwin Brady a2b3c79Minor change to disambiguation rulesEdwin Brady 05a859dHTML path slashes are always '/'.Niklas Larsson e643ef6Don't hardcodee 'cc' as the compilerNiklas Larsson d89af9ccleaned up redundant 'if'JP Smith 2e919c8Merge pull request #2079 from melted/toolchainDavid Christiansen 5f0dbd7clarify failing searchesJP Smith 2ad80e8Add docs and changelog entry for bundled toolchainNiklas Larsson b9b19e5Implement bundled toolchain featureNiklas Larsson 4359eddList UTF8 source code in CHANGELOGDavid Raymond Christiansen 31a0d7bMerge branch 'unicode' of git://github.com/melted/Idris-dev into melted-unicodeDavid Raymond Christiansen 8a3d348Merge pull request #2100 from david-christiansen/maybe-monoidDavid Christiansen 4dd164cSet encoding for read files.Niklas Larsson 8b3b6e8Remove partiality from IdrisDocDavid Raymond Christiansen 220011eReplace the Monoid instance on MaybeDavid Raymond Christiansen 7871ecbMerge pull request #2096 from melted/win_testDavid Christiansen 42a384bMerge pull request #2095 from melted/nocolour_testDavid Christiansen 1592354Make reg029 pass on WindowsNiklas Larsson 8cc2312Don't let tests depend on colouring.Niklas Larsson 663c401Merge pull request #2094 from david-christiansen/no-type-checking-message-quietDavid Christiansen cb6f646Merge pull request #2092 from melted/perly_stuffDavid Christiansen 6c4553cMake --quiet imply non-verbosityDavid Raymond Christiansen 9f5fb08Need to wrap PATH in quotes to avoid chars being interpreted as shellNiklas Larsson 53c0fd7Merge pull request #2090 from Heather/MakefileDavid Christiansen ce3b60bMerge pull request #2084 from david-christiansen/contrib-nat-stuffDavid Christiansen 44ce387rts: add getline to MakefileHeather e5384b9Merge pull request #2080 from jstolarek/T2080David Christiansen 6bc1859Clean up exports in Data.Nat in contribDavid Raymond Christiansen 7aabf74Rename lteSucc to lteSuccRightDavid Raymond Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek 30364c7Division and modulus for Nat, plus associated utilitiesDavid Raymond Christiansen ed99f38Merge pull request #2083 from jfdm/docs/local-rtd-themeJan de Muijnck-Hughes 9429eb6Merge pull request #2082 from jfdm/docs/heading-fixesJan de Muijnck-Hughes e9ea90dAdd impossible cases to CHANGELOGDavid Raymond Christiansen e45c9b8Add pattern-matching lambdas to CHANGELOGDavid Raymond Christiansen 7379574Fix test/proof009 when Curses is enabledDavid Raymond Christiansen a2f90a5Better error message for impossible lambdas that don't pattern-matchDavid Raymond Christiansen c2e5668Improve readability of code in parserDavid Raymond Christiansen 572d70fModified conf.py to work locally if rtd-theme is not installed.Jan de Muijnck-Hughes a13b22cMerge branch 'lambda-impossible' of https://github.com/Melvar/Idris-dev into Melvar-lambda-impossibleDavid Raymond Christiansen a687f5dCan build docs locally using ReadTheDocs Theme.Jan de Muijnck-Hughes 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes 5c8c1d3Merge pull request #2074 from jfdm/docs/faq-float-namesEdwin Brady f78d5c5Merge pull request #2078 from ahmadsalim/feature/bsdreadlineEdwin Brady