Installation of Agda from Source for Non-Programmers - Happy

Obtain happy from

Download the source distribution, do tar xvfz. Then follow the cabal instructions (, i.e.

                runghc Setup.lhs configure 
                runghc Setup.lhs build 
                runghc Setup.lhs install 

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

Page last modified on December 02, 2008, at 06:12 AM
Powered by PmWiki