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 22bc47b5f48226fdc5660d34aa43e22659bbe55b)

Haskell,Servant

Org files:org-mode,parser

Syntax:Prism