Foundations, Logic, Semantics, Types, Computer Science
Casual Lecturer at UNSW
Researcher at Data61
Opinions are my own, not my employers'.
한국어 좀 할 수 있다
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.