git.iko.soy/Idris-dev
on eec9953 help sign in
eec9953In :search, check injectivity to prevent erroneous resultsbmsherman 7e329c9Merge pull request #1340 from raichoo/javascriptraichoo 33d6d70javascript: a few HLint adjustmentsraichoo a88c208javascript: display unsupported instruction as commentsraichoo e4d23ecjavascript: remove old namespacesraichoo c82427bjavascript: fix indentation errorraichoo b641b9aMerge pull request #1339 from raichoo/javascriptraichoo 81e8dfcjavascript: do not include jsbn if not neededraichoo 146dda2Merge pull request #1338 from raichoo/javascriptraichoo e336478adjusted CHANGELOGraichoo 9d3822djavascript: implement %lib directive for noderaichoo 6d4d442Merge pull request #1333 from bmsherman/improvedSearchDavid Christiansen 7062857Merge pull request #1330 from mrb/simplify_nat_max_minDavid Christiansen 5c485fdMerge pull request #1332 from Heather/systemDavid Christiansen e1ef65dUse a priority queue to improve performance when matching types in :searchbmsherman 66235b7add system FFun to base/SystemHeather 114a307Prevent possibility of unbounded computation in :searchbmsherman 522c3d8Add assoc, commut, and idemp proofs for min and maxmrb 99e4dafSimplify max and min for nats by removing ltemrb 88d5ab0adjusted CHANGELOGraichoo 853a634Merge pull request #1329 from raichoo/javascriptraichoo 2fafe80Merge pull request #1328 from raichoo/javascriptraichoo 464a4b9make doc tests passraichoo 43f0c91javascript: more FFI workraichoo eeec833javascript: add browser runtimeraichoo 4d3fdf4javascript: compile single branch switch to seqraichoo a10f705javascript: load includesraichoo e725b8ajavascript: first HOF FFI attemptraichoo 4830e91javascript: adjust functionnamesraichoo 90a0928javascript: adjust jsFOREIGNraichoo 503b055javascript: add jsPOP and jsPUSH utility functionsraichoo 811538fjavascript: whitespaceraichoo 3bcf23fjavascript: quicker register accessraichoo 6cb9626javascript: remove doubled semicolonsraichoo c6cf819javascript: indent systemInforaichoo eb54165javascript: indent generated coderaichoo 312f83fjavascript: unlimited callstacksraichoo daac606javascript: split conditional branchesraichoo 8459253javascript: function splitterraichoo a9080ffjavascript: split eval functionraichoo 4d2be00javascript: split apply functionraichoo 803dd59javascript: avoid name captureraichoo d557267javascript: WIPraichoo c47bd86javascript: unlock primitivesraichoo 8c3a1efjavascript: pass more testsraichoo cecc1fejavascript: handling bigintsraichoo 31f9833javascript: fix caseconstraichoo 27c306fjavascript: WIPraichoo 5d5baa3javascript: experimental backend compiles hello worldraichoo 18c33c5Merge pull request #1324 from bmsherman/improvedSearchDavid Christiansen