phd student @ aarhus university. (modal) type theory, (higher) category theory.
he/him. 🏳️‍🌈.

ID: 1601960299

linkhttp://jozefg.github.io calendar_today17-07-2013 22:05:25