John Soo

Functional programming enthusiast

Host: Orange Combinator, aspiring proof engineer

5A15 8FAF 406A 748A 81A9 DC4E 4F43 7A76 B448 A23B

Activity

Guix(functional package manager)

Ecosystem support, functional languages

Guix Channel(extra packages for Guix)

To upstream after incubation

Dotfiles

Guix, Alacritty, Tmux, Emacs, and Xmonad

Implementation

Source (commit df6ec790f5bbeae4e0af78cc121c07829301d3dd)

Haskell,Servant

Org files:org-mode,parser

Syntax:Prism

Monospace:Iosevka