InstallationOfAgdaFromSourceGhc

(:Installation of Agda from Source for Non-Programmers - Ghc:)

You can get ghc directly at some Linux distributions (e.g. Suse). Use ghc 6.8.2 from binary. Make sure to use the version using libreadline.so.5 instead of libreadline.so.4.

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