[Agda] Agda on ghc-7.6.2-candidate
andres.sicard.ramirez at gmail.com
Thu Jan 10 13:56:08 CET 2013
On Thu, Jan 10, 2013 at 3:15 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> This is on installing Agda-2.3.2, MAlonzo on ghc-7.6.2-pre.
> ghc-7.6.2 is coming and asks for testing its candidate
> So, I have tried to install Agda-2.3.2, MAlonzo from source on
> -- with ghc-22.214.171.12421207 made from source on Debian Linux.
> Everything looks as installed, but the final use of
> agda -c $agdaLibOpt Main.agda
> Compiling Level ...
> No such file ... not found FFI.IO
>From the README.agda of the Agda standard library:
-- To compile the library using the MAlonzo compiler you first need to
-- install some supporting Haskell code, for instance as follows:
-- cd ffi
-- cabal install
More information about the Agda