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