All talks
Talk 22:00

Imagine a Dependently Typed Python

Abstract

Watch on YouTube