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 79565babc101f80bbc71978ddb3612ce2be6959a)
Syntax:Prism