Installation of Agda from Source for Non-Programmers - QuickCheck

Obtain quickcheck using darcs get --partial

Then follow the cabal instructions (, i.e.

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

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

Page last modified on February 15, 2009, at 10:40 AM
Powered by PmWiki