[agda] Install agda on Mac OS

I’ve tried installing

cabal install Agda-2.3.2.1 

But got dependency errors.

cabal: cannot configure parallel-3.1.0.1. It requires deepseq ==1.1.*	

Installing an older version works:

cabal install Agda-2.3.0.1 

References

[1] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
[2] http://agda.orangesquash.org.uk/2012/November/14.html

Advertisements

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s