bdef7ec'sequence' and 'sequence_' don't need Monad, either.startling14 years ago 112f92aDefined (<$) and ($>), analogous to Haskell's (<*) and (*>)startling14 years ago 4f93ab6You know, 'when' doesn't need Monad either.startling14 years ago 376b4b5Alternative instances for Maybe and Liststartling14 years ago 2d17b67"guard" doesn't need MonadPlus, just Alternative.startling14 years ago 314bcf1Defined Alternative.startling14 years ago 55a55ccUpdate display of Set to TypeEdwin Brady14 years ago e4da568Take more care when expanding names in nested parameter blocksEdwin Brady14 years ago 9070208Update CHANGELOGEdwin Brady14 years ago cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady14 years ago bdf11e8Better IO + faster compilation by avoiding needless cases in EVAL/APPLYEdwin Brady14 years ago 01e4d9cBelieve '%assert_total' for coverage checkingEdwin Brady14 years ago 267f044Improve case compilation by checking most distinct argument firstEdwin Brady14 years ago ce9fa93Compile to nested if rather than switch for small casesEdwin Brady14 years ago 47fb39aMerge pull request #122 from LeifW/monoid_instance_for_stringEdwin Brady14 years ago 19ef940Merge pull request #120 from DanielWaterworth/masterEdwin Brady14 years ago 686d19dMerge pull request #118 from raichoo/parserEdwin Brady14 years ago 7245290Some tiny RTS optimisationsEdwin Brady14 years ago 7e137a9Add a Monoid instance for String.Leif Warner14 years ago 3b578c9Bugfix, trivial typoDaniel Waterworth14 years ago c101721Fix Integer matching bugEdwin Brady14 years ago 441f51dpossible fixes for missing type signature in data declsraichoo14 years ago ed85b4eerror messages with possible fixesraichoo14 years ago 6f23ad0Add version requirement for parsecEdwin Brady14 years ago 2c58ebaFix elaboration of higher order dependent function types Fixes issue #116Edwin Brady14 years ago 5803d2bRemove reference to W32 (temporarily)Edwin Brady14 years ago bbbe563Merge pull request #114 from raichoo/wordEdwin Brady14 years ago d1ee911Merge pull request #115 from DanielWaterworth/dump_bytecodeEdwin Brady14 years ago e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth14 years ago 5d4c45fWhitespace fixDaniel Waterworth14 years ago c4e7ba2Made generating C headers more declarativeDaniel Waterworth14 years ago f6451efword 8/16 primitive typesraichoo14 years ago a41e971Fix Util.System so that it compiles again...Edwin Brady14 years ago 4fc1cbdMerge pull request #110 from LeifW/platform_agnosticEdwin Brady14 years ago 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady14 years ago 2f26fb2Add Debug.TraceEdwin Brady14 years ago 0c8d6e7Merge pull request #112 from raichoo/masterEdwin Brady14 years ago e0d0b13added Data.Bits and primitives for Intraichoo14 years ago 20627e4Better strategy for building case trees at compile timeEdwin Brady14 years ago 0136305Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)Edwin Brady14 years ago fd5cddbMore platform agnostic nowChetan T14 years ago 7fe382dFix Unlit to cope with documentation comment syntaxEdwin Brady14 years ago 32c8104Fix scoping error in proof scripts Fixes issue #106Edwin Brady14 years ago 817211aUndo a change in error rendering that was only for debugging...Edwin Brady14 years ago 1738775Check result of elaboration at the REPL properlyEdwin Brady14 years ago 3187e59Merge pull request #108 from bitlisp/masterEdwin Brady14 years ago 5501396'the' function for inline type annotationsBenjamin Saunders14 years ago f9e0605Change to Util.System for portabilityEdwin Brady14 years ago 5138f54Merge pull request #104 from LeifW/make_idris_install_respect_targetEdwin Brady14 years ago 04650f0Merge pull request #105 from chetant/windowsEdwin Brady14 years ago