# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 18th 2022

The title made no sense for the given content. I have changed from “HoTT Mini-Course” to “HoTT Mini-Course 2016” (at the very least – possibly it deserves more qualifiers).

Also added missing category:reference-tag.