(: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 instead of

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

Page last modified on December 02, 2008, at 05:57 am
Powered by PmWiki