Installation of Agda from Source for Non-Programmers - Darcs

Install darcs from There are rpm packages available for Suse (Suse 10.3 package works for Suse 11). If there are problems with installing it, make sure that the download has finished (which might take some time).

Back to installation of Agda from source for non-programmers.