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 79565babc101f80bbc71978ddb3612ce2be6959a)

Haskell,Servant

Org files:org-mode,parser

Syntax:Prism