72003cf388f6f7f95b433de3df9ccd38?s=128

larrytheliquid

larrytheliquid

PhD candidate studying dependent type theory at Portland State University.