[Agda] how to run helloworld in agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Dec 20 16:02:48 CET 2015


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


More information about the Agda mailing list