git.iko.soy/Idris-dev
on master help sign in
history of5bee123..master
compare
e336478adjusted CHANGELOGraichoo 9d3822djavascript: implement %lib directive for noderaichoo 1153028Update comments to fit the state of the codeDavid Raymond Christiansen ee11033Elaborate quasiquote patterns to something usefulDavid Raymond Christiansen 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 5bfe037Set the handles used for --client to use UTF-8Melvar Chen e1ef65dUse a priority queue to improve performance when matching types in :searchbmsherman 66235b7add system FFun to base/SystemHeather 6e3fd45Implement unquoting for the rest of PTermDavid Raymond Christiansen 114a307Prevent possibility of unbounded computation in :searchbmsherman 522c3d8Add assoc, commut, and idemp proofs for min and maxmrb 79a43c8Merge remote-tracking branch 'upstream/master' into quasiquoteDavid Raymond Christiansen 9a3082bAdd simple test for quasiquotationsDavid Raymond Christiansen 84cdb10Quasiquotes in CHANGELOGDavid Raymond Christiansen 36785b5Allow reflecting types with quasiquote patternsDavid Raymond Christiansen 1ecd340Support simple quasiquote patternsDavid Raymond Christiansen 99e4dafSimplify max and min for nats by removing ltemrb 6a5a1f3Initial support for unquotesDavid Raymond Christiansen 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