Lille Kat 2022:09

Team Lambda calculus

Participating in Lille Kat 2022:09

Name