New group gmane.comp.lang.agda.devel
Mailing List Manager <[email protected]> Wed, 08 Dec 2021 09:17:37 +0100
| Newsgroups | gmane.announce |
|---|---|
| Message-ID | <[email protected]> |
The newsgroup gmane.comp.lang.agda.devel has been created.
The subject of the first message posted was
Subject: [Agda-dev] [Agda] [ANNOUNCE] Agda 2.6.2
This newsgroup corresponds to the agda-dev mailing list.
Description: The development for Agda. There is no interesting traffic for Agda users here..
<URL: http://dir.gmane.org/gmane.comp.lang.agda.devel>
<URL: nntp://news.gmane.org/gmane.comp.lang.agda.devel>