git.iko.soy/Idris-dev
on 6e3fd45 help sign in
6e3fd45Implement unquoting for the rest of PTermDavid Raymond Christiansen 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 6a5a1f3Initial support for unquotesDavid Raymond Christiansen 853a634Merge pull request #1329 from raichoo/javascriptraichoo 88d5ab0adjusted CHANGELOGraichoo 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 f8ec244Elaborate qquotes in fresh proof stateDavid Raymond Christiansen 766b955Elaborate quasiquotesDavid Raymond Christiansen c90d4b4Parsing for quasiquotesDavid Raymond Christiansen 18c33c5Merge pull request #1324 from bmsherman/improvedSearchDavid Christiansen 007e2eaMerge pull request #1326 from CodeBlock/spellingfixDavid Christiansen 48a9659fix spelling of "parenthesise"Ricky Elrod f91051aIgnore default class methods in :searchbmsherman 852301dImprovements to :search, primarily in handling typeclassesbmsherman 22b2548Merge pull request #1323 from bmsherman/parenthasizeInfixDavid Christiansen c4eca4fMerge branch 'master' into parenthasizeInfixbmsherman 7d38943Proper and complete parenthasization of infix operator names.bmsherman fc6f5feMerge pull request #1322 from bmsherman/equalDeclDavid Christiansen c4ce749Parenthasize infix names in REPL outputbmsherman