Posts tagged with talk

2024 Oct 19 · Reflections on my first type theory talk