jwiegley

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

Company:@kadena-io Location:California, USA

Pinned Repositories

jwiegley's Repositories