This mailing list is a community service. The present discussion has run its course and is not contributing anything to the community anymore. At present its only purpose is bickering and reiterating of opinions that have already been stated multiple times. I am therefore locking it.

The mailing list owner,

Andrej Bauer

--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAB0nkh088mBUrQ3eQyLPFD1xRkoHgF9G9oHiMgELTaxw3h18bA%40mail.gmail.com.