Utah, USA


Husband, father, and Emacs fanatic. PhD student at the University of Utah studying programming languages.

Most of my work is currently on GitHub.


An expansion of the excellent Nord theme for Emacs


A custom Iosevka build modeled after the lovely Input Mono font: wide (extended) characters, legible glyphs, and tightened line spacing


Type inference algorithm attempting to support full type inference, let-polymorphism, type unions, and decent error messages


Annotated implementation of microKanren: an embeddable logic programming language


Implementation and exploration of micro- and miniAdapton


Web-centric worship service bulletin builder