[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