git.iko.soy/Idris-dev
on master help sign in
history of84cdb10..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 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 9b13bd4data-lens is not a dep of idrisLeif Warner 67f7373Support builds that doesn't use cabal for libs and rtsniklas ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross