git.iko.soy/Idris-dev
on v0.9.11 help sign in
b45f766Update version number to 0.9.11v0.9.11Edwin Brady 524f27fMerge pull request #847 from david-christiansen/iso-primsEdwin Brady 8cde632Merge pull request #846 from david-christiansen/semantic-pprintEdwin Brady 812f29fRemove ?: syntaxEdwin Brady a27e6cbRemove reliance on interactive output from test ffi004David Raymond Christiansen 835981dUpdate test to avoid interactive-mode control charsDavid Raymond Christiansen 3b9ce1cAvoid pollution of test case with ANSI codesDavid Raymond Christiansen 58f481cRemove colour codes from ffi001 expected - fixedDavid Raymond Christiansen 264f773Remove colour codes from ffi001 expectedDavid Raymond Christiansen 20fbc08Merge branch 'master' into semantic-pprintDavid Raymond Christiansen e80f871Annotate and colour pairs and () properlyDavid Raymond Christiansen d8dce87Add js tests to travis scriptEdwin Brady 5bebef1Merge pull request #843 from raichoo/javascriptEdwin Brady 6a77afaMerge pull request #842 from Melvar/ideslave-consolewidthEdwin Brady 2159801Add iso between String and List CharDavid Raymond Christiansen 626d0eaAdd a template for bijections to/from primitivesDavid Raymond Christiansen b7d6d41Add release scriptEdwin Brady 0793991javascript: make unfoldLookupTable workraichoo f182cf2javascript: moved EVALTC and APPLYTC into codegenraichoo 2b44cd9javascript: JSWhileraichoo 55e7f26javascript: unfoldLookupTableraichoo a80f29ajavascript: added JSPreOp and JSPostOpraichoo 9f69c8djavascript: rename JSOp into JSBinOpraichoo aa623f9javascript: move Con and Cont into codegenraichoo 49df329Make IdeSlave mode follow :consolewidth commandsMelvar Chen 0a9653bChange argument order for 'either'Edwin Brady 1f0e676Merge pull request #840 from SimonJF/tcase-removeEdwin Brady c6cdba6Merge pull request #839 from david-christiansen/executorEdwin Brady 58ef453Merge pull request #838 from david-christiansen/semantic-pprintEdwin Brady f73945dMerge pull request #837 from raichoo/javascriptEdwin Brady 30f3a8b (Temporarily) remove the remaining typecase checks.Simon Fowler ef16e5aWhitespace cleanupDavid Raymond Christiansen ec1b1f3Test updates for executor and type provider updateDavid Raymond Christiansen fab7083Decorate type provider errors with source locationDavid Raymond Christiansen adadee1Use pretty-printer to show the result of :xDavid Raymond Christiansen 4df19e9Minor tweak to pretty-printing lambdaDavid Raymond Christiansen dff861eBetter emulation of C in executor wrt file handlesDavid Raymond Christiansen be1784cBetter emulation of C in executor wrt file handlesDavid Raymond Christiansen 7e17cabFix display of CantConvertDavid Raymond Christiansen 1953d4aMerge pull request #836 from trillioneyes/monad-providersEdwin Brady 9d3ea3djavascript: inline more functionsraichoo 9e9e6ccjavascript: inline more functionsraichoo 064e6d1javascript: JSNull is a constantraichoo 88e5823javascript: remove redundant continuationsraichoo 4070d2bjavascript: inline simple functionsraichoo 4f4aea2javascript: inline more constructorsraichoo 544546dMerge pull request #834 from david-christiansen/semantic-pprintEdwin Brady 3177b98javascript: make use of inlinerraichoo 2a137dcAdded Functor, Applicative, and Monad Provider instancesAlyssa Carter 63d2989Add --repl [package] command line optionEdwin Brady