git.iko.soy/Idris-dev
on 53376fc help sign in
53376fcIn-language implementation of Show BitsNReynir Reynisson b397692Merge pull request #519 from reynir/masterEdwin Brady d861727tutorial: update interactive proofReynir Reynisson cb8eb1atutorial: fix typos, add additional step to proofReynir Reynisson ae95dc6tutorial ffi: add emphasisReynir Reynisson 0d5c5b6Fix segfault in MKSTREdwin Brady 631fc46Further splitting of ParserEdwin Brady a434e82Merge pull request #518 from tauli/masterEdwin Brady 2bdb46bMerge pull request #517 from raichoo/vimEdwin Brady 1a535c0Merge pull request #516 from raichoo/masterEdwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady f90e2d7runtest.pl revised and cleaned upJürgen Peters a8c142eremove vim files from contrib in favor of idris-hackers reporaichoo fc504f1documentation: added javascript codegen section to tutorialraichoo 4be67f7Allow records in mutual blocksEdwin Brady ff726feMerge pull request #514 from raichoo/javascriptEdwin Brady f2f0eedMerge pull request #511 from raichoo/masterEdwin Brady baf632eMerge pull request #510 from LeifW/universal_target_overrideEdwin Brady d8a8fcfMerge pull request #506 from ahmadsalim/masterEdwin Brady bfc4a91javascript: use optimizer for tailcallsraichoo 6d3e55bjavascript: refactored tailcallsraichoo e391db0javascript: add naive optimizerraichoo 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner d9c3c21javascript: added test 29 to 31 to suiteraichoo 6469b16Fixed Trifecta version to 1.1 until future versions work againAhmad Salim Al-Sibahi 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi fa6f5faRefactored constraint syntax to use less lookaheadAhmad Salim Al-Sibahi d1b5cb9Refactored data declaration to use less lookahead for better errors and some performance improvementAhmad Salim Al-Sibahi 336f5daSome refactoring of bracketed expressions (centralizing most of the expressions). This provides some simplification for future optimization of grammar regrding issue idris-lang/Idris-dev#452.Ahmad Salim Al-Sibahi a88a918Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503Ahmad Salim Al-Sibahi 45e0a55Merge pull request #504 from david-christiansen/with-parserEdwin Brady 27ed67dMerge pull request #501 from david-christiansen/error-reflectionEdwin Brady 4ed09e4Further improve error message on missing parens after withDavid Christiansen 50af5aaMake the parentheses around a with-rule scrutinee mandatoryDavid Christiansen 70a041fAnother minor efficiency gain in elaboratorEdwin Brady 2c588b9Reorder goal search for efficiencyEdwin Brady 4f17e59Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1d8003dSpeed up elaboration of larger functionsEdwin Brady 7ae55f9Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Christiansen d114d39Add test031 to cabal fileDavid Christiansen 7c041d4Merge pull request #500 from david-christiansen/masterEdwin Brady b31f309Merge pull request #498 from gabemc/build-changesEdwin Brady f70befbUpdate issue tracker URLEdwin Brady 6a98908Merge branch 'master' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-masterEdwin Brady 3a69398Add parser and tests for parser for error reflection extensionDavid Christiansen 3db1e91Added flag for error reflection extensionDavid Christiansen 9bdde71Work around parser bugDavid Christiansen e472447Add datatype for reflected errorsDavid Christiansen dcbf98aAdded note about wiki to READMEDavid Christiansen ce9b19bMerge pull request #496 from david-christiansen/color-replEdwin Brady