git.iko.soy/Idris-dev
on 17c537f help sign in
17c537fMerge pull request #1571 from david-christiansen/nested-qquoteDavid Christiansen 7383b1cSupport nested quasiquotationDavid Raymond Christiansen a57302cMerge pull request #1563 from david-christiansen/comments-on-ptermDavid Christiansen 1e13fbeMerge pull request #1567 from david-christiansen/feature/doc-code-snippetsDavid Christiansen b16d583Merge pull request #1566 from edwinb/client-fixDavid Christiansen a5c9dc5Add more docs to PTermDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen 4694a36Merge pull request #1549 from fatho/fix/master/c-codegen-closing-parenthesisEdwin Brady b8bcd3dExit after running --clientEdwin Brady 840c2ccMerge pull request #1556 from Helkafen/masterDavid Christiansen d5c5e30Merge pull request #1398 from stepcut/fix/master/arduinoDavid Christiansen 30e8cf1Merge pull request #1558 from tac-tics/issue1416David Christiansen 62be490Merge pull request #1562 from jfdm/feature/travis-badgeDavid Christiansen e73acf2Added file extension to README file for better rendering.Jan de Muijnck-Hughes 7cb5c8cBadge for HackageJan de Muijnck-Hughes c18ecd8Added travis build badge.Jan de Muijnck-Hughes 44cdd8aMerge branch 'ahmadsalim-feature/renaming'David Raymond Christiansen cca0241Merge branch 'feature/renaming' of github.com:ahmadsalim/Idris-dev into ahmadsalim-feature/renamingDavid Raymond Christiansen 45de9abMerge pull request #1560 from david-christiansen/pprint-printdefDavid Christiansen e280f8dFormatting cleanups in Prelude.VectDavid Raymond Christiansen b5005a0Remove unnecessary tactic proof from Vect.intersperseDavid Raymond Christiansen 4b43a3cUncomment Vect.mapMaybeDavid Raymond Christiansen f512149Simplify the definition of Vect.reverseDavid Raymond Christiansen f10fcd2Add interactive006 in Extra-source-filesSebastian de Bellefon 8fc9ffdRefactor REPL command parser, improving error messages at the REPLMichael Maloney aee8f60Parsing a REPL command may now result in a custom error message.Michael Maloney 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon 3867dbaReally replaced `lteZero` with `LTEZero`Ahmad Salim Al-Sibahi 562da7bRenamed 'lteSucc' and 'lteZero' in tests to 'LTESucc' and 'LTEZero'Ahmad Salim Al-Sibahi 035e15bAdd -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.stepcut 400f147Merge pull request #1555 from raichoo/masterraichoo 5a257a4Fixed lack of renaming of `lift` to `Lift` in testAhmad Salim Al-Sibahi c265266javascript: added LFNegate primitiveraichoo b2fb9d0Fixed broken provider test after providing `()` as `Unit` tooAhmad Salim Al-Sibahi 17bab90Fixed some accidentally wrong renamings. Also, adapted some tests to the new namesAhmad Salim Al-Sibahi e0f4c37Merge pull request #1552 from Helkafen/benchmarksDavid Christiansen f3ecd90Merge pull request #1550 from david-christiansen/pprint-commandDavid Christiansen eb9ce2eAdded update about renaming to CHANGELOGAhmad Salim Al-Sibahi 8f54aafFixed some tests broken under renamingAhmad Salim Al-Sibahi fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi 6faa1abRenaming of built-in datatypes works finallyAhmad Salim Al-Sibahi f0ed9e9First renaming attemptAhmad Salim Al-Sibahi 80a2913Merge branch 'master' of https://github.com/idris-lang/Idris-dev into fix/master/arduinostepcut 3835dceSome comments for pidigitsSebastian de Bellefon 5194bf1Let IDESlave run :pprintDavid Raymond Christiansen 7289f34Properly highlight constants in :pprintDavid Raymond Christiansen 6e9ae3eAdd benchmark pidigitsSebastian de Bellefon 10662e8Added regression test for bug in C code generation.Fabian Thorand 20b02c5Merge pull request #1547 from david-christiansen/pprint-commandDavid Christiansen c50d7c5Added missing parenthesis in C code generation.Fabian Thorand