Re: [Haskell-cafe] Installing agda through cabal