John Soo
Functional programming enthusiast
Host: Orange Combinator, aspiring proof engineer
PGP (fingerprint):Functional programming enthusiast
Host: Orange Combinator, aspiring proof engineer
PGP (fingerprint):Ecosystem support, functional languages
To upstream after incubation
Guix, Alacritty, Tmux, Emacs, and Xmonad
Source (commit 58de63560f8ab43add977907807c71b6acb84b33)
Syntax:Prism