Ohh my, I wrote some type signatures in some files at https://github.com/jtkristensen/agda-exercises/tree/main/bornHack2021, but I forgot to write the programs to go with them. Perhaps a keen hacker, such as your self, will be up for the task?

• We will solve some Agda programming problems on together.
• I will accept suggested solutions at the blackboard, and you will provide.

The workshop is intended at programmers who are experienced with functional programming, wanting to get themselves acquainted with Agda.

---

Hosts for Hello world in Agda.:

---

Metadata for Hello world in Agda.

To be recorded: No

---

URLs for Hello world in Agda.

No URLs found.

---

Schedule for Hello world in Agda.

• Monday, Aug 23rd, 2021, 09:00 (CEST) - Monday, Aug 23rd, 2021, 12:00 (CEST) at Workshop Room