[Agda] Seeking Pointers for an Introductory Presentation

Nils Anders Danielsson nad at chalmers.se
Fri Sep 21 13:56:08 CEST 2012


On 2012-09-21 11:31, Joachim Breitner wrote:
> recently, I held an Agda course to a non-academic audience. My approach
> was a bit different: I did a live hacking session developing a game
> simulator, taking the players as arguments and returning who wins.

I think live hacking is a good idea, that's what I usually do. For one
example, see Conor's invited talk at ICFP 2012:

   Agda-curious?
   Conor McBride
   http://www.youtube.com/watch?v=XGyJ519RY6Y

-- 
/NAD


More information about the Agda mailing list