2022-11-16: Agda Implementors' Meeting XXXI

Sat, 21 Oct 2023 21:24:08 +0100

Agda Implementors' Meeting XXXI (University of Edinburgh)

Agda Implementors' Meeting XXXI

2022-11-16 09:30:00 UTC
University of Edinburgh