0fca527Add Uninhabited to PreludeDavid Raymond Christiansen13 years ago bd13bf9Fix filename case in test run scriptsDavid Raymond Christiansen13 years ago b5e97e4Show error contexts with pretty-printerDavid Raymond Christiansen13 years ago f7b466dHighlight variables from error context as boundDavid Raymond Christiansen13 years ago f6bebd3Proper pretty-printing of dependent pairsDavid Raymond Christiansen13 years ago 39636cfApply error reversal to metavariablesEdwin Brady13 years ago 3c58bbfEarly buffer implementation for the Java codegenJan Bessai13 years ago 3921855Use 'with' to disambiguate defaults EnvsEdwin Brady13 years ago 3dbd8bbMerge pull request #860 from david-christiansen/provider-type-normalizeEdwin Brady13 years ago f446697Merge pull request #858 from david-christiansen/string-upper-csaeEdwin Brady13 years ago dc72d9eAdd idris_net to data filesEdwin Brady13 years ago be4cff0Normalise provider types before checkingDavid Raymond Christiansen13 years ago a4038a3Add toUpper and toLower functions for StringDavid Raymond Christiansen13 years ago 5a1d646Added Network.SocketsEdwin Brady13 years ago 138d35eMerge pull request #854 from raichoo/javascriptEdwin Brady13 years ago bbee4afMerge pull request #852 from david-christiansen/ideslave-really-no-cursesEdwin Brady13 years ago 649b340Add with expressions to IBC filesDavid Raymond Christiansen13 years ago 2ac38b8javascript: inline more functionsraichoo13 years ago a83671eDon't use Curses to look for console width in IDESlaveDavid Raymond Christiansen13 years ago f33f1d8javascript: decouple lookuptablenamesraichoo13 years ago d033452javascript: added ctr namespaceraichoo13 years ago c15b21bMove parsing of 'case' out of simpleExprEdwin Brady13 years ago 9e8f96cUpdate version to 0.9.11.1Edwin Brady13 years ago fa9f021Fix silly name shadowing bug and add new testEdwin Brady13 years ago b45f766Update version number to 0.9.11v0.9.11Edwin Brady13 years ago 524f27fMerge pull request #847 from david-christiansen/iso-primsEdwin Brady13 years ago 8cde632Merge pull request #846 from david-christiansen/semantic-pprintEdwin Brady13 years ago 812f29fRemove ?: syntaxEdwin Brady13 years ago a27e6cbRemove reliance on interactive output from test ffi004David Raymond Christiansen13 years ago 835981dUpdate test to avoid interactive-mode control charsDavid Raymond Christiansen13 years ago 3b9ce1cAvoid pollution of test case with ANSI codesDavid Raymond Christiansen13 years ago 58f481cRemove colour codes from ffi001 expected - fixedDavid Raymond Christiansen13 years ago 264f773Remove colour codes from ffi001 expectedDavid Raymond Christiansen13 years ago 20fbc08Merge branch 'master' into semantic-pprintDavid Raymond Christiansen13 years ago e80f871Annotate and colour pairs and () properlyDavid Raymond Christiansen13 years ago d8dce87Add js tests to travis scriptEdwin Brady13 years ago 5bebef1Merge pull request #843 from raichoo/javascriptEdwin Brady13 years ago 6a77afaMerge pull request #842 from Melvar/ideslave-consolewidthEdwin Brady13 years ago 2159801Add iso between String and List CharDavid Raymond Christiansen13 years ago 626d0eaAdd a template for bijections to/from primitivesDavid Raymond Christiansen13 years ago b7d6d41Add release scriptEdwin Brady13 years ago 0793991javascript: make unfoldLookupTable workraichoo13 years ago f182cf2javascript: moved EVALTC and APPLYTC into codegenraichoo13 years ago 2b44cd9javascript: JSWhileraichoo13 years ago 55e7f26javascript: unfoldLookupTableraichoo13 years ago a80f29ajavascript: added JSPreOp and JSPostOpraichoo13 years ago 9f69c8djavascript: rename JSOp into JSBinOpraichoo13 years ago aa623f9javascript: move Con and Cont into codegenraichoo13 years ago 49df329Make IdeSlave mode follow :consolewidth commandsMelvar Chen13 years ago 0a9653bChange argument order for 'either'Edwin Brady13 years ago