Tagged: agda

Zurich hack 2022 Denotational Design []

zurich hack logo, uwu

This blog post and after action report is three months overdue, but I participated in Zurich hack 2022. Zurich hack is a voluntary hackaton organized in Rapperswil-Jona 3, with as theme improving the Haskell ecosystem and socializing. Naturally I chose …