git.iko.soy/Idris-dev
on master help sign in
history of79e6bf7..master
compare
0fca527Add Uninhabited to PreludeDavid Raymond Christiansen bd13bf9Fix filename case in test run scriptsDavid Raymond Christiansen b5e97e4Show error contexts with pretty-printerDavid Raymond Christiansen f7b466dHighlight variables from error context as boundDavid Raymond Christiansen f6bebd3Proper pretty-printing of dependent pairsDavid Raymond Christiansen 39636cfApply error reversal to metavariablesEdwin Brady 3c58bbfEarly buffer implementation for the Java codegenJan Bessai 3921855Use 'with' to disambiguate defaults EnvsEdwin Brady 3dbd8bbMerge pull request #860 from david-christiansen/provider-type-normalizeEdwin Brady f446697Merge pull request #858 from david-christiansen/string-upper-csaeEdwin Brady dc72d9eAdd idris_net to data filesEdwin Brady be4cff0Normalise provider types before checkingDavid Raymond Christiansen a4038a3Add toUpper and toLower functions for StringDavid Raymond Christiansen 5a1d646Added Network.SocketsEdwin Brady 138d35eMerge pull request #854 from raichoo/javascriptEdwin Brady bbee4afMerge pull request #852 from david-christiansen/ideslave-really-no-cursesEdwin Brady 649b340Add with expressions to IBC filesDavid Raymond Christiansen 2ac38b8javascript: inline more functionsraichoo a83671eDon't use Curses to look for console width in IDESlaveDavid Raymond Christiansen f33f1d8javascript: decouple lookuptablenamesraichoo d033452javascript: added ctr namespaceraichoo c15b21bMove parsing of 'case' out of simpleExprEdwin Brady 9e8f96cUpdate version to 0.9.11.1Edwin Brady fa9f021Fix silly name shadowing bug and add new testEdwin Brady 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