git.iko.soy/Idris-dev
on 514d582 help sign in
514d582Fixes idris-lang/Idris-dev#512Ahmad Salim Al-Sibahi d7ba624Unification tweak for unifying types and metavariable applicationsEdwin Brady dcc8d46Make more type classes resolve, by matching rather than unificationEdwin Brady b75246bMerge branch 'show-bits-in-language' of https://github.com/reynir/Idris-dev into reynir-show-bits-in-languageEdwin Brady a51ed3dMerge pull request #528 from ahmadsalim/masterEdwin Brady 6367eb5Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady b9d0b7eRemove irrelevant commentEdwin Brady 9cdf03aFix compilation of unqualified constructor namesEdwin Brady 170da61Propagate '%assert_total' to with blocksEdwin Brady e7d962dMerge pull request #529 from ziman/masterEdwin Brady 9497822Merge pull request #533 from Ralith/fix-js-buildEdwin Brady 480a28bFix broken build caused by 3fdf1a03Benjamin Saunders 267f34dChanged the way addproof works to indented-block style Allowed a larger range of expression to work with slices (improves on idris-lang/Idris-dev#524)Ahmad Salim Al-Sibahi 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 9cbb5dbFix imports and make hexVect localReynir Reynisson a30a9c1Make it compile, and use a List instead of a VectReynir Reynisson 16fe40djavascript: remove identity functionsraichoo 53376fcIn-language implementation of Show BitsNReynir Reynisson 24fb370javascript: loop to reduce constructorraichoo dd10071javascript: reduce more functionsraichoo ebc0f2fFix a typo in an error message.Matus Tejiscak 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