Installation of Agda and Alfa (Unofficial)

The following I show how I succeeded in installing Agda under Linux and Windows.
Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Sun Feb 11 23:32:44 GMT 2007