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.
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
You can browse the repository here.
Edit | History | Recent Changes (all) | Search
Page last modified on April 21, 2009, at 11:04 AM
Powered by PmWiki