[Agda] c-c c-l + import

Serge D. Mechveliani mechvel at botik.ru
Wed Apr 24 09:29:26 CEST 2013


Nice! It works. Thank you.

------
Sergei



On Tue, Apr 23, 2013 at 07:45:10PM +0100, gallais wrote:
> Hi Serge,
> 
> According to the wiki :
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
> 
> =====================
> Setting up the Emacs mode for use with the library
> [..]


> On 23 April 2013 19:24, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> > [..]
> > I am trying to use the Agda interactive environvent under Emacs,
> > by following the instructions on  Quick Editing Guide  on the Web.
> > [..]
> > But if  T.agda  uses something from Standard Library, then it reports
> > something about the library module.
> > [..]


More information about the Agda mailing list