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 d9a7b37SimpleParser: improving performance so it is usefull for real world stuffJürgen Peters13 years ago 787832bKeep colour theme on REPL reloadDavid Christiansen13 years ago ed8114eUpdated dependencies and types for Haskell llvm bindings v3.3.8.1.lambdadomain13 years ago 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders13 years ago 134eef4somethingBenjamin Saunders13 years ago fb9af01Read from standard inputBenjamin Saunders14 years ago ca7d80aBasic solver workingBenjamin Saunders14 years ago