git.iko.soy/Idris-dev
on 170da61 help sign in
170da61Propagate '%assert_total' to with blocksEdwin Brady 54a89bfMerge pull request #525 from reynir/masterEdwin Brady a068cb5Merge pull request #523 from Ralith/fix-llvm-installEdwin Brady 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 7a70f67Add Show () instanceReynir Reynisson ef09742Verify that foreign symbols declared in multiple places have a consistent signatureBenjamin Saunders c614366Print failed pattern match error messages to stderrBenjamin Saunders 7a43e68Keep track of prototyped foreign symbols across definitionsBenjamin Saunders 03adfb0Test LLVM codegen on travis to reduce future breakageBenjamin Saunders 8e53c10Fix installation of LLVM codegen's RTS to incorrect pathBenjamin Saunders 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