[Agda] how to run helloworld in agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Dec 24 02:08:19 CET 2015


On 23 December 2015 at 14:30, Mandy Martino <tesleft at hotmail.com> wrote:
> i follow the instruction to set, but got  error , another command  is  in
> progress,
> where is  wrong?

You followed the instructions for the development version of Agda but
you aren't using that version.


-- 
Andrés


More information about the Agda mailing list