Explore types.pl

{- Lattice painter | Proof assistant -}

Recent Grad | Inerested in Type Theory and Fuctional Programming

Scheme48 -> MzScheme -> Racket

I do wibbly wobbly dependent typey wipey stuff. Programming Languages at Symbiont.
Formerly postdoc at University of Iowa and PhD at Portland State University.

Computer science graduate student, scientist, and avid reader. I love learning things and meeting new people! She/her