AFP Summer School 2008

The Summer School in Advanced Functional Programming 2008 takes place in the Netherlands between May 19 and May 24, and contains an Agda course. Relevant information for this course will appear here.

Agda distribution

Download the Agda source code here: Agda sources

Or get the latest version with darcs.

darcs get --partial http://code.haskell.org/Agda

More information on how to install can be found under Download.

Course material / Tutorial

The course material can be obtained using darcs

darcs get http://www.cs.chalmers.se/~ulfn/darcs/AFP08

To update the repository do

darcs pull

You can browse the repository here.

Direct links