Information about gmane.comp.lang.agda

• On the web, using frames and threads.
• On the web, using a blog-like, flat interface.
• Using an NNTP newsreader.
• RSS feeds:
  1. All messages from the list, with excerpted texts.
  2. Topics from the list, with excerpted texts.
  3. All messages from the list, with complete texts.
  4. Topics from the list, with complete texts.

Link to embed recent activity into your web page:

<iframe src="http://blog.gmane.org/recent.php?group=gmane.comp.lang.agda&type=topics&content=subject,date">

See this link for an overview of the available style parameters.

Detailed statistics.

Group	gmane.comp.lang.agda
Description	Agda Programming Language ()
Address	agda@...
Status	posting allowed
Url	http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php

Other mailing list archives for this list:

1. Original List Archive

If the information about the list is wrong, you can edit this information.