Installation of Agda and Alfa

  • Instructions about how to install Agda and some documentation can be found on the homepage of Agda
  • Instructions about how to install Alfa and some documentation can be found on the homepage of Alfa. Alfa is available as binaries for Linux (and for some other Unix versions).
  • Usually one should have Linux or some other form of Unix in order to install Agda.
  • I used the nhc98 Haskell compiler instead of hbc as recommended on the the homepage of Agda, since it was possible to install it without a root password.
  • Under Windows, it might be possible to install it using CYGWIN
    Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
    Last modified: Thu Jan 22 00:57:44 GMT 2004