.. wiwikwlhott documentation master file, created by
   sphinx-quickstart on Tue Nov  7 21:18:21 2017.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

What I Wish I Knew When Learning HoTT
=======================================

Auke Booij

This document intends to refer to concepts one may not be aware of on
a first reading of the HoTT book, and intends to give a crude,
possibly unhelpful intuition for them.

Thanks for additional input from Sina Hazratapour, Manfred Kerber,
Ulrik Buchholtz and Andrej Bauer.

.. toctree::
   :maxdepth: 2

   faq
   terminology
   proof-assistants
   category
   semantics
   proof
   variants
   features
   glossary

Changelog
---------

**0.1**

first release (?)

Biblography
---------------

.. bibliography:: refs.bib
   :all: