git.iko.soy/Idris-dev
on master help sign in
history offadbbc8..master
compare
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 cf0ef4fjavascript: refactor inlinerraichoo 28ffcf8Correctly pretty-print no-argument NilDavid Raymond Christiansen 4257d64Automatically detect console widthDavid Raymond Christiansen 3a86b7cjavascript: added foldJSraichoo 93c06b5Check assert_total is defined before evaluatingEdwin Brady f650e7eRemove %assert_total from Nat and StringsEdwin Brady 6eee6c8Add assert_total functionEdwin Brady 5775f84Disable buffer001 test properly...Edwin Brady 9e350acInline assert_smaller correctlyEdwin Brady ff819b4Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 526cd75Add assert_smaller functionEdwin Brady 794c750Merge pull request #832 from Ralith/llvm-nullptrEdwin Brady ec57557Temporarily disable buffer001 testEdwin Brady cc13ebcFix mistake in test MakefileEdwin Brady ffc8583Implement LNullPtr primitiveBenjamin Saunders 47f5867Refactor parsing of bracketed expressionsEdwin Brady 17ddd68Merge pull request #816 from shlevy/bufferEdwin Brady d95808eDon't give INTERNAL ERROR when abandoning a proofEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy 55b241aAdd buffer tests to the distributionShea Levy dafb098Add self to contributorsShea Levy 49bede9Disable buffer tests on non-C backends for nowShea Levy a47adaaRemove redundant enName functionShea Levy a2332b0Endianness is redundant for Bits8Shea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy 5b70c05Missing commaShea Levy