[Agda] how to run helloworld in agda

[Andrés Sicard-Ramírez]

On 19 December 2015 at 05:39, Mandy Martino <tesleft at hotmail.com> wrote:
> MAlonzo/Code/Agda/Primitive.hs:4:18:
>     Could not find module `Agda.FFI'
>     Use -v to see a list of the files searched for.

>From agda-stdlib README.agda:

-- 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


-- 
Andrés