[Agda] problem in installing alex and darcs using macports

[Ulf Norell]

On Fri, Nov 14, 2008 at 5:24 PM, Gyesik Lee <leegy at lix.polytechnique.fr>wrote:

> Hello,
>
> I am a newbie in Agda. I have the intention to install Agda on my
> Macbook Pro (leopard 10.5.5). First following Wiki homepage, I am
> trying to install the requirements and have succeeded in the
> installation of ghc 6.10.1 and Cabal (library 1.6.0.1, install tool
> 0.6.0) (using macports.)
>
> I have no idea what it means. (I'm not so familiar with linux
> commands...) Could someone tell me how to use macports correctly? Or
> are there a different way?
>

I mainly use Cabal[1] to install Haskell stuff. I have no idea what the
error messages mean.

/ Ulf

[1] http://www.haskell.org/cabal/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081114/d22cb9b0/attachment.html