John Soo
Functional programming enthusiast
Host: Orange Combinator, aspiring proof engineer
5A15 8FAF 406A 748A 81A9 DC4E 4F43 7A76 B448 A23BFunctional programming enthusiast
Host: Orange Combinator, aspiring proof engineer
5A15 8FAF 406A 748A 81A9 DC4E 4F43 7A76 B448 A23BEcosystem support, functional languages
To upstream after incubation
Guix, Alacritty, Tmux, Emacs, and Xmonad
Source (commit 223154936b308e85394be9ae4b1835ba41284e31)
Syntax:Prism