git.iko.soy/Idris-dev
on 53c0fd7 help sign in
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 9ddf8a1Small wording changes in Data.Fin section of tutorialBryn Keller 95eee3cRemove no longer used primitives from TTEdwin Brady fc02362Support externally defined primitivesEdwin Brady 89e325cRename Float to Double in ParserEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 73ea02bRemove Buffer and BitVector from parserEdwin Brady c413280String in C is now UTF8 encodedEdwin Brady 9560761Refactor and adjust doc commentsMelvar Chen fc9839cAdd test for impossible in lambda and caseMelvar Chen ffa4223Allow impossible in caseMelvar Chen 58875b2Parse lambdas with impossibleMelvar Chen