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 #noai
send messages , not metadata
> https://sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml

Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.