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 df6ec790f5bbeae4e0af78cc121c07829301d3dd)
Syntax:Prism
Monospace:Iosevka