[Agda] how to run helloworld in agda

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


On 19 December 2015 at 05:11, Mandy Martino <tesleft at hotmail.com> wrote:
> how to uninstall  this  incompatible  version?

There is no command for uninstalling the agda-stdlib library. You can
delete the agda-stdlib directory or you can use a different directory
for a different version of the agda-stdlib library.


-- 
Andrés


More information about the Agda mailing list