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 223154936b308e85394be9ae4b1835ba41284e31)

Haskell,Servant

Org files:org-mode,parser

Syntax:Prism