git.iko.soy/Idris-dev
on de0bcbd help sign in
de0bcbdMerge pull request #522 from Ralith/fix-travisEdwin Brady 463752dMerge pull request #521 from raichoo/masterEdwin Brady 13a5881Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 1bc3002Some Eff experimentation, adding a 'test' commandEdwin Brady db96d75Add a 'compute' before elaboration to expand type synonyms etcEdwin Brady 16fe40djavascript: remove identity functionsraichoo 24fb370javascript: loop to reduce constructorraichoo dd10071javascript: reduce more functionsraichoo f2309ddjavascript: added jsident for identifiersraichoo 549627cjavascript: switch to jsbnraichoo 0efe215javascript: reduce tailcalls for reduced functionsraichoo 8947a2ejavascript: reduce functionsraichoo a15afc9javascript: optimize arraysraichoo 7ca1ca0javascript: remove unused coderaichoo 270cbcajavascript: use strings for bigints to pervent overflowraichoo a976e30javascript: inline newraichoo 00272c5javascript: ditch optimizer for simpler approachraichoo af1a706javascript: smarter inlineraichoo 5389c3bjavascript: recursive optimizerraichoo f7fc73bjavascript: substitute moreraichoo e5ad9f2javascript: refactor jsSubstraichoo 4c2c850javascript: faster lookup tablesraichoo 8529f87javascript: optimize assignmentsraichoo 0e9d165javascript: optimize scope functionsraichoo 888c07ajavascript: optimize objectsraichoo 974d2edjavascript: optimize calling apply on lambdasraichoo 8bef17djavascript: optimize in conditionsraichoo 66f8820javascript: optimize field accessraichoo d5c8aecjavascript: optimize operator callsraichoo 054821aSkip confirmation promptBenjamin Saunders 692b454Properly factor cabal workflowBenjamin Saunders 8a43c18Use llvm-3.3 from a PPA now that llvm.org is no longer providing itBenjamin Saunders caa3193javascript: optimize case for trampolinesraichoo c551412javascript: optimize more constructor casesraichoo 46ab369javascript: start javascript code when DOM is readyraichoo 7b4ca03javascript: add JSFalse to ASTraichoo 66705c7javascript: apply uses an extra stackframe, not goodraichoo 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