John Soo

Functional programming enthusiast

Host: Orange Combinator, aspiring proof engineer

PGP (fingerprint):

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 58de63560f8ab43add977907807c71b6acb84b33)

Haskell,Servant

Org files:org-mode,parser

Syntax:Prism