Installation of Agda from Source (Unofficial)

The following I show how I succeeded in installing Agda under Linux from source. This is not the official installation instruction.
Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Sun Feb 11 23:25:23 GMT 2007