lists.cakeml.org Mailing Lists
Below is a listing of all the public mailing lists on lists.cakeml.org. Click on a list name to get more information about the list, or to subscribe, unsubscribe, and change the preferences on your subscription. To visit the general information page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended.
List administrators, you can visit the list admin overview page to find the management interface for your list.
If you are having trouble using the lists, please contact email@example.com.
|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|