HoldMyType
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
time matters when it pays off
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml
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
time matters when it pays off
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml
Public Key
npub1z59qunrl4flmqv955f7h8dj6arvw8ddcj8fz3uw4t5fc6wcmg6yqkkf0guNIP-05 Address
xameer@mathstodon-xyz.mostr.pubProfile Code
nprofile1qqsp2zswf3l65lasxz62yltnkedw3k8rkkufr53g78246yud8vd5dzq43s5c6Author Public Key
npub1z59qunrl4flmqv955f7h8dj6arvw8ddcj8fz3uw4t5fc6wcmg6yqkkf0gu