git.iko.soy/Idris-dev
on master help sign in
history of22fd2ad..master
compare
6fe4238javascript: true else branchraichoo 9b45298javascript: add noopraichoo db43080javascript: disable all optimizations (temporary)raichoo 0043db9Remove EVAL from APPLYEdwin Brady b1c239dMerge branch 'typed-laziness' of github.com:idris-lang/Idris-dev into typed-lazinessEdwin Brady 23a20efMerge pull request #887 from raichoo/typed-lazinessEdwin Brady ec86b47Merge branch 'master' of github.com:idris-lang/Idris-dev into typed-lazinessEdwin Brady 6779716Merge pull request #885 from david-christiansen/fix-helpEdwin Brady c9fb122Merge pull request #883 from david-christiansen/semantic-pprintEdwin Brady 3597433Merge pull request #878 from walkie/masterEdwin Brady ce4fef0Merge pull request #875 from raichoo/javascriptEdwin Brady ba03e21Merge pull request #874 from puffnfresh/javascript-readyEdwin Brady e89734djavascript: removed unoptimizable JSRawraichoo 82750fdjavascript: fix detection of constant constructorsraichoo 96f81b3javascript: strTail could not be optimized properlyraichoo 970e476Remove EVALs from generated codeEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady b8ef4f4Make (++) right associativeMelvar Chen 437a06bFix argument syntax to match what Idris actually wantsDavid Raymond Christiansen f9684d6Add 'Lazy' type for capturing delayed computationsEdwin Brady 9d559e9Use pretty-printer for errors in importsDavid Raymond Christiansen c7c9f4bTurn of width detection in batch modeDavid Raymond Christiansen 5987a95Report errors loading files using semantic highlightingDavid Raymond Christiansen 36527f6Report REPL errors in IDESlave with highlightingDavid Raymond Christiansen 2614792Add updateAt to Vect.Eric Walkingshaw 57af985Add 'force' (opposite of 'lazy')Edwin Brady 6bb7f86Merge pull request #865 from david-christiansen/semantic-pprintEdwin Brady d3f3fe5javascript: remove redundant local constructorsraichoo 8e6e14aMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen 8561f75Execute JavaScript output after DOMContentLoadedBrian McKenna 98ddd5bAdd interactive002Edwin Brady f529898Merge pull request #868 from david-christiansen/uninhabited-preludeEdwin Brady 18b8572Fix non-FFI buildEdwin Brady 16ce78dSet version for patch releaseEdwin Brady 85e68a7Improve inference in monadic codeEdwin Brady ad178cfMerge pull request #870 from raichoo/javascriptEdwin Brady 3051cacMerge pull request #869 from david-christiansen/dynamic-lib-searchEdwin Brady 55e5959Merge pull request #867 from david-christiansen/test-caseEdwin Brady 801aa83More consistency checking on inference constraintsEdwin Brady 71d7de0Some improvements in finding inference constraintsEdwin Brady 3848c07Record partial type inference infoEdwin Brady b98b1f3javascript: recognize more redundant continuationsraichoo 43828d9javascript: collapse nested continuationsraichoo 6c4d0f1Fix for metavariables in type declarationsEdwin Brady 27c5ac6javascript: collapse continuationsraichoo d700f08javascript: collapse continuationsraichoo 1a3acbejavascript: collapse some more tailcallsraichoo 64ce1b8javascript: eval constructors during compiletimeraichoo 67a5dcejavascript: init local constructorsraichoo 36b8f59Improve search for dynamic librariesDavid Raymond Christiansen