On 20 December 2015 at 08:02, Mandy Martino <tesleft at hotmail.com> wrote: > when debug, it tell me to use emacs, but do not know how to import > library See 'Setting up the Emacs mode for use with the library' in http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary -- Andrés