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
Page last modified on April 21, 2009, at 11:04 am
Powered by
PmWiki