A look at Agda

Published: Jan. 10, 2022, 5 a.m.

In this episode I talk a bit about the Agda proof assistant.