Installation of Agda from Source for Non-Programmers - QuickCheck

Obtain quickcheck using darcs get --partial http://darcs.haskell.org/QuickCheck

Then follow the cabal instructions (http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package), i.e.

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

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