git.iko.soy/Idris-dev
on 8a3d348 help sign in
8a3d348Merge pull request #2100 from david-christiansen/maybe-monoidDavid Christiansen 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 b531d09Checked error conditions and freed buffer after useAhmad Salim Al-Sibahi e63f318Added BSD licensed getline and used that to read string from fileAhmad Salim Al-Sibahi 3ec54f8Remove some GPLed codeEdwin Brady f65d7adEta in conversion, consistent with unificationEdwin Brady 967c0e1Fix name shadowing bug in class instancesEdwin Brady db1dba2Fix JS codegen for LWriteStrEdwin Brady 67a9d4dResolves #379 on names for floating point numbers.Jan de Muijnck-Hughes 029413bTypo fixEdwin Brady 035f24eMove tactic proofs out of main tutorialEdwin Brady 78a55abDon't block under Delay in repl evaluationEdwin Brady a0725d2Fix trivial top level proof search failureEdwin Brady 13a36a3Annotate functions as %hint for auto searchEdwin Brady 7befb29Merge pull request #2068 from xoltar/clarify-finEdwin Brady 8a41916Tidying CONTRIBUTING.mdEdwin Brady 9d7c50aOverdid the external primitivesEdwin Brady 5433d22Merge pull request #2051 from jfdm/doc/contrib-updatesEdwin Brady 76fd1ceMerge pull request #2038 from TorosFanny/patch-2Edwin Brady 32f91a6Don't Force an implicit DelayEdwin Brady