[Agda] New list agda-dev

[Andreas Abel]

Hi Agda community,

traffic on the Agda mailing list is already quite high, and some of you 
Agda users might not be interested in the discussion of the Agda 
developers.  Therefore, I have started a new mailing list

   agda-dev at lists.chalmers.se

with focus on discussions about the implementation of Agda.
You can subscribe at

   https://lists.chalmers.se/mailman/listinfo/agda-dev

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/