This website is my private project. You can contribute by giving your feedback.

The mailinglist

I use a mailing list for sending messages to all those who are interested in following the project of my private report.

You recognize my mails to this list because their subject starts with “[synod]”.

You can subscribe to this list at the following address: https://lists.lino-framework.org/mailman/listinfo/sinod

The archive of past messages to this mailing list is publicly visible at the following address: https://lists.lino-framework.org/pipermail/sinod/

This mailing list runs on one of my own servers and only I can see the list of members. Your privacy is guaranteed as long as you do not send any email to the address sinod@lino-framework.org.