On 19 December 2015 at 05:39, Mandy Martino <tesleft at hotmail.com> wrote: > martin at ubuntu:~/hilbertreborn$ time agda -c hello.agda -i. > -iagda-stdlib-0.11/src > --ghc-flag=/home/martin/hilbertreborn/agda-stdlib-0.11/ffi/Data/FFI.hs Remove the last argument in the above command. -- Andrés