

1·
3 months agoIs it free and open source?
Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
Is it free and open source?
I came here to say exactly this.
Perhaps a space race with China would rekindle the motivation for our money grubbing demagogues to actually fund it.
Let us know when it is. I won’t help test it nor tell anyone about it until it is.