On 2 January 2016 at 08:01, 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. See README.agda from the standard library. -- Andrés