e472447Add datatype for reflected errorsDavid Christiansen13 years ago ce9b19bMerge pull request #496 from david-christiansen/color-replEdwin Brady13 years ago 34f8c45Merge remote-tracking branch 'origin/color-repl' into color-replDavid Christiansen13 years ago 195f731Preserve colour themes after :eDavid Christiansen13 years ago 583cc43Add ability to set ANSI italicsDavid Christiansen13 years ago bef8dceUpdate version number to 0.9.9.2Edwin Brady13 years ago 677799cPropagate function options to case blocksEdwin Brady13 years ago 7832b65Merge pull request #493 from Melvar/masterEdwin Brady13 years ago 9b22ccbMerge pull request #492 from ahmadsalim/masterEdwin Brady13 years ago 2077d29Add ability to set ANSI italicsDavid Christiansen13 years ago 41d7fb8Fixed unspecified error on empty module without any declarationsAhmad Salim Al-Sibahi13 years ago d3bb097Fixed doc comments in multi-line comments bugAhmad Salim Al-Sibahi13 years ago 2a307a2Fix building without LLVMMelvar Chen13 years ago 914a765Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago f86ba91Merge pull request #491 from gabemc/feature/environmentEdwin Brady13 years ago 93ae498Merge pull request #490 from gabemc/issue/121Edwin Brady13 years ago 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi13 years ago 5e8a597Adding several functions to interact with environment variables.Gabe McArthur13 years ago a6c2882Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'Gabe McArthur13 years ago f39cad9Fix coverage checking for functions matching constantsEdwin Brady13 years ago 39bc4c4Merge pull request #485 from lambdadomain/masterEdwin Brady13 years ago 6c723d2Merge pull request #489 from gabemc/issue/331Edwin Brady13 years ago 9e4a18dMerge pull request #488 from gabemc/masterEdwin Brady13 years ago c8530b3Modifying the System.getEnv function to return IO (Maybe String)Gabe McArthur13 years ago f98238cFixing a typo in the --help usage screen.Gabe McArthur13 years ago 06c4067Merge pull request #487 from tauli/masterEdwin Brady13 years ago 4ef6ff8Merge pull request #486 from david-christiansen/color-replEdwin Brady13 years ago 3ab35beUpdate version numberEdwin Brady13 years ago c55f8c2Unification fix to avoid giving up on recoverable errorsEdwin Brady13 years ago d9a7b37SimpleParser: improving performance so it is usefull for real world stuffJürgen Peters13 years ago daab1a3Partially defined names should not reduce at compile-timeEdwin Brady13 years ago 787832bKeep colour theme on REPL reloadDavid Christiansen13 years ago 3a8d9dbFinished proof-reading implementation paperEdwin Brady13 years ago ed8114eUpdated dependencies and types for Haskell llvm bindings v3.3.8.1.lambdadomain13 years ago 7e1005aMerge pull request #483 from yfyf/indent_errorsEdwin Brady13 years ago 5203e1bMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 60a441bFix bug in compilation of optimised NatsEdwin Brady13 years ago ccee056Indent terms printed in typechecking errorsIgnas Vyšniauskas13 years ago eec1442Merge pull request #482 from tauli/masterEdwin Brady13 years ago b965bd1Merge pull request #481 from raichoo/masterEdwin Brady13 years ago c254c61Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady13 years ago 8ae2240(Temporarily) remove java tests from travisEdwin Brady13 years ago f6fe5eaMerge pull request #480 from david-christiansen/fix-duplicate-libsEdwin Brady13 years ago 822b518Merge pull request #479 from david-christiansen/repl-persistent-historyEdwin Brady13 years ago c93a2d4Merge pull request #478 from david-christiansen/repl-initEdwin Brady13 years ago 723437eSimpleParser: fixed recursive combinatorsJürgen Peters13 years ago 8000794Final (I hope!) implementation paper tinkeringEdwin Brady13 years ago d584f74javascript: fix ffiwrap /HT ihmecklerraichoo13 years ago 3bdf1dbjavascript: prevent name possible name overlapraichoo13 years ago 93992c3Compile Nat as Int, (and plus/mult/fromInteger)Edwin Brady13 years ago