Date Range
Date Range
Date Range
Forgot Password or Username? Deviant for 8 Years. This is the place where you can personalize your profile! I reali.
This is the place where you can personalize your profile! You can drag and drop to rearrange.
I named my horse Squid. I named my horse Squid. I named my horse Squid. I named my horse Squid.
This is the place where you can personalize your profile! By moving, adding and personalizing widgets.
I am in my second year of graduate study in computer science at MIT. My interests include type theory and functional programming and their application to software verification. Embedded in Coq, whose types are topological spaces and whose expressions are continuous maps.
Subscribe to my blog! This blog has no articles.