John Wiegley

Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

Contributions