[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