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.
Edit | History | Recent Changes (all) | Search
Page last modified on February 15, 2009, at 10:40 AM
Powered by PmWiki