s='hello;'echo "${s//;/;}"
Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondencepedantic nooball content CC BY-SA 4.0nobot #nobridgetime matters when it pays off https://git.sr.ht/carnotweat/modshelltovmrust #nix , bits of #haskell #ocaml