s='hello;' echo "${s//;/\\;}"

\> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence pedantic noob all content CC BY-SA 4.0 \#nobot #nobridge chose life not Google \> https://git.sr.ht//~carnotweat/modshelltovm \#rust #nix , bits of #haskell #ocaml