Studying Computer Science at the University of Waterloo.
Interested in λprogramming languages, systems programming, and 𝑥pure math.
Surprise! You're already here.