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
This profile is from a federated server and may be incomplete. Browse more on the original instance.
CharaChorder typing/chording demo [8:21] (youtu.be)