BornHack 2021 Info Program Villages Sponsors Teams Maps Facilities Phonebook
BornHack 2021 Info Program Villages Sponsors Teams Maps Facilities Phonebook
 
Schedule Events Speakers Call for Participation
Schedule Events Speakers Call for Participation

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.:

Joachim Tilsted Kristensen

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