git.iko.soy/Idris-dev
on 3a8d9db help sign in
3a8d9dbFinished proof-reading implementation paperEdwin Brady 7e1005aMerge pull request #483 from yfyf/indent_errorsEdwin Brady 5203e1bMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 60a441bFix bug in compilation of optimised NatsEdwin Brady ccee056Indent terms printed in typechecking errorsIgnas Vyšniauskas eec1442Merge pull request #482 from tauli/masterEdwin Brady b965bd1Merge pull request #481 from raichoo/masterEdwin Brady c254c61Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 8ae2240(Temporarily) remove java tests from travisEdwin Brady f6fe5eaMerge pull request #480 from david-christiansen/fix-duplicate-libsEdwin Brady 822b518Merge pull request #479 from david-christiansen/repl-persistent-historyEdwin Brady c93a2d4Merge pull request #478 from david-christiansen/repl-initEdwin Brady 723437eSimpleParser: fixed recursive combinatorsJürgen Peters 8000794Final (I hope!) implementation paper tinkeringEdwin Brady d584f74javascript: fix ffiwrap /HT ihmecklerraichoo 3bdf1dbjavascript: prevent name possible name overlapraichoo 93992c3Compile Nat as Int, (and plus/mult/fromInteger)Edwin Brady 0a1b9d8Prevent duplicate dynamic linkingDavid Christiansen 36d05d1CHANGELOG update for REPL historyDavid Christiansen da87313Have the REPL save its history between sessionsDavid Christiansen 3e693f7javascript: positional argumentsraichoo c778c24Update CHANGELOG for init scriptsDavid Christiansen 8125e03Add support for init scriptsDavid Christiansen 65ee53eMerge pull request #477 from david-christiansen/color-replEdwin Brady e3bd62bColourise REPL promptDavid Christiansen d759b26Parser fix for colour setting commandsDavid Christiansen 1085d22Tab completion for setting colours at the REPLDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen db47977Merge pull request #476 from david-christiansen/color-replEdwin Brady 7c45129Colour theme in Idris REPL stateDavid Christiansen 1beb71cBasic colour theme infrastructureDavid Christiansen 0d1c169Merge pull request #475 from raichoo/masterEdwin Brady 6086376javascript: handle special namesraichoo aa8ab8fGenerate simpler names with showCGEdwin Brady 3d80daeFix missing case in Java codegenEdwin Brady 911f5d7Add newer tests to idris.cabalEdwin Brady 2a0885eBetter representation and rendering of generated namesEdwin Brady 43878f4Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady df41e3dGive a bit more context for error messagesEdwin Brady 8372f21Merge pull request #472 from darinmorrison/masterEdwin Brady e8f4bb1Some packaging fixesEdwin Brady 966ef43Check for duplicates when adding object files/libs/flagsEdwin Brady 00cc44dPaper typo fixEdwin Brady af4fda7%flag directiveEdwin Brady 81425d2Add skeleton of inlinerEdwin Brady 1931074Prevent io_bind reducing at REPLEdwin Brady ce57b45Ignore Mac OS X .DS_Store filesDarin Morrison 0c138b9Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 675cfacMerge pull request #471 from david-christiansen/color-replEdwin Brady ddc137eColourise some error messagesDavid Christiansen