Installation of Agda from Binaries under Linux (Unofficial)

The following I show how I succeeded in installing Agda under Linux from (by myself compiled) binaries. This is not the official installation instruction, and the version of Agda might not be the most recent one.
Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Sun Feb 11 23:24:29 GMT 2007