Some notes on HoTT rework


Paris