Capital on Nostr: npub1z70sk…gjtuz :: As someone that's dabbled with Haskel, I think GHC is going ...
npub1z70sk8dp9daycrrpg4xwss9t0cujpxat5u6ynxc9yy2tvraw890sqgjtuz (npub1z70…jtuz) :: As someone that's dabbled with Haskel, I think GHC is going reign supreme over Haskell until the sun explodes, lmao. I could see someone making a code generator for Agda (theorm prover) that spits out verified Rust code. (assuming someone isn't already working on that)