Code

Automated Resyntax fixes#1153

Code

Closed

resyntax-ci[bot] wants to merge 3 commits intomainherbie-fp/herbie:mainfrom autofix-17-1herbie-fp/herbie:autofix-17-1Copy head branch name to clipboard

+23-22

Commits

Commits on Feb 23, 2025

• Fix 2 occurrences of quasiquote-to-append

  Show description for 3719519
  resyntax-ci[bot]

  committed
  3719519

  Copy full SHA for 3719519

• Fix 2 occurrences of append-single-list-to-single-list

  Show description for 95e9a39
  resyntax-ci[bot]

  committed
  95e9a39

  Copy full SHA for 95e9a39

• Fix 1 occurrence of if-begin-to-cond

  Show description for a30d083
  resyntax-ci[bot]

  committed
  a30d083

  Copy full SHA for a30d083