Return to schedule

Hello world in Agda. Feedback

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.

    Not scheduled yet