git.iko.soy/Idris-dev
on cf0ef4f help sign in
cf0ef4fjavascript: refactor inlinerraichoo 3a86b7cjavascript: added foldJSraichoo 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 ad58d9eRemove some unnecessary copiesShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 5750cb5Replace Fin ( n + 1 ), which doesn't reduce, with Fin ( S n )Shea Levy 149e816Add Buffer type and primitives to the coreShea Levy c22e4ecAdd Data.Buffer moduleShea Levy 47b3278Add test case for simple Buffer functionalityShea Levy b1f049bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 889d848Change 'run' in neweffects to add defaultsEdwin Brady eb363b7Merge pull request #830 from david-christiansen/changlog-with-betterEdwin Brady 8efc4a6Merge pull request #828 from david-christiansen/gitignoreEdwin Brady 044ba30Merge pull request #827 from david-christiansen/semantic-pprintEdwin Brady 50e3329Merge pull request #823 from raichoo/javascriptEdwin Brady ea9b9f1Merge pull request #821 from david-christiansen/infix-class-namesEdwin Brady 0b2cb6ejavascript: refactorraichoo 108d258javascript: remove duplicated coderaichoo cef30c2Added "with" expressions to CHANGELOGDavid Raymond Christiansen 547d0baUpdate .gitignore for new tests structureDavid Raymond Christiansen fed330ejavascript: inline some missed casesraichoo 956a6dfjavascript: remove redundant eval on opsraichoo 106061dUse pretty-printer to display :t for metavarsDavid Raymond Christiansen 41d3dafUse the pprint library to insert line breaksDavid Raymond Christiansen da24632Render using console widthDavid Raymond Christiansen 94c4cf8Make prover respect showimplicits from IStateDavid Raymond Christiansen 9a926d5Add input for interactive testEdwin Brady a90726bFix error in .cabalEdwin Brady 54b959ejavascript: optimize branchesraichoo c5ad26ajavascript: whitespaceraichoo e0288fdjavascript: better error representationraichoo b173d58javascript: remove jsobjectraichoo 0e17c90javascript: inline some missed casesraichoo 1419f45javascript: allow more inliningraichoo ac520f9Missed a couple more files :)Edwin Brady eacd491Fix cabal with new test filesEdwin Brady 1d2fc7fCategorise testsEdwin Brady 246cdaeFix Fin literals and add testEdwin Brady 6e1cac7(Temporary!) Turn off typecase testEdwin Brady 8330e6dRemove LLVM test with unimplemented primitiveEdwin Brady be0a595Add test040/B/*.idr to idris.cabalEdwin Brady