~jsoo

Southern California

https://refl.club

Types, parentheses, ideology.

~jsoo/dotfiles

guix, xmonad, emacs, tmux

~jsoo/spirit-of-nix

Presentation on some of the technical values of the Nix ecosystem

~jsoo/toy-prolog-type-checker

a toy type checker and parser for a small lambda calculus

~jsoo/soclip

home-manager module for remote clipboard access

~jsoo/guix

Fork of Guix on savannah (https://savannah.gnu.org/projects/guix) for incubating patches to upstream

~jsoo/refl.club

Personal website.