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