News
Assignment 2 errata and Challenge 1
Written on 22.10.2026 16:58 by Chiara Piombi
The file for Assignment 2 has been updated to have the correct induction syntax in exercise 2.
You can find the challenge from today's exercise class at codeberg.org/Chipi/lfa2026-challenges; let me remind you here that these challenges are completely optional and meant to be solved with every tool at your disposal, including working in groups. I will publish a solution to Challenge 1 on the same repository in two weeks; if any individual or group solves it and wants to show off their solution, they can email it to me and it will be published at the same time. Include a group name or you will be assigned a random bird name.
Best regards, Chiara