Subject: Agda developer's mailing list

Description: Agda developer's mailing list. Subscribe if you are contributing to Agda or interested in discussion on the implementation of Agda. No interesting traffic for Agda users here.