git.iko.soy/Idris-dev
on master help sign in
history of307efbb..master
compare
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 0c27247Allow class names to be infixDavid Raymond Christiansen 654c0f8Make sure package parsing reaches end of fileEdwin Brady ea4997eRun 'diff' on test failureEdwin Brady 20ffcfdAdd 'without' command to test scriptEdwin Brady 60abf37Merge pull request #794 from david-christiansen/error-reflectionEdwin Brady 380e1caMerge branch 'master' into error-reflectionDavid Raymond Christiansen 3e07c44Merge pull request #817 from raichoo/javascriptEdwin Brady 102f888Pretty printing of "Can't disambiguate" errorEdwin Brady 72b9990Move tests, fix test040Edwin Brady 44fdddaMerge pull request #818 from david-christiansen/changelog-updatesEdwin Brady 3cb1f21Merge pull request #813 from david-christiansen/java-name-manglingEdwin Brady 961f9b4Merge pull request #797 from jfdm/documentationEdwin Brady