git.iko.soy/Idris-dev
on master help sign in
history of17d2cea..master
compare
a6c2882Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'Gabe McArthur f39cad9Fix coverage checking for functions matching constantsEdwin Brady 39bc4c4Merge pull request #485 from lambdadomain/masterEdwin Brady 6c723d2Merge pull request #489 from gabemc/issue/331Edwin Brady 9e4a18dMerge pull request #488 from gabemc/masterEdwin Brady c8530b3Modifying the System.getEnv function to return IO (Maybe String)Gabe McArthur f98238cFixing a typo in the --help usage screen.Gabe McArthur 06c4067Merge pull request #487 from tauli/masterEdwin Brady 4ef6ff8Merge pull request #486 from david-christiansen/color-replEdwin Brady 3ab35beUpdate version numberEdwin Brady c55f8c2Unification fix to avoid giving up on recoverable errorsEdwin Brady d9a7b37SimpleParser: improving performance so it is usefull for real world stuffJürgen Peters daab1a3Partially defined names should not reduce at compile-timeEdwin Brady 787832bKeep colour theme on REPL reloadDavid Christiansen 3a8d9dbFinished proof-reading implementation paperEdwin Brady ed8114eUpdated dependencies and types for Haskell llvm bindings v3.3.8.1.lambdadomain 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