lists.cakeml.org mailing lists - Admin Links

Welcome!

Below is the collection of publicly-advertised Mailman mailing lists on lists.cakeml.org. Click on a list name to visit the configuration pages for that list.To visit the administrators configuration page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. If you have the proper authority, you can also create a new mailing list.

General list information can be found at the mailing list overview page.

(Send questions and comments to mailman@cakeml.org.)

   
List Description
Builds Automatic Regression Test Messages
Commits Automatic Push Notification Messages
Developers The Mailing List for Development of CakeML
Users The Mailing List for Users of CakeML

Delivered by Mailman
version 2.1.39
Python Powered GNU's Not Unix