Working on Google Docs. TCNJ grad enthused by web development, programming languages, compilers, functional programming, and type theory