Southern California
https://refl.club
Types, parentheses, ideology.
a toy type checker and parser for a small lambda calculus
Parse a git directory (HEAD) into nix values