[Agda] how to run helloworld in agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Dec 19 11:48:02 CET 2015


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


More information about the Agda mailing list