Calculational HoTT. - Ernesto Acosta; Bernarda Aldana; Jaime Bohorquez (CoRR, 2019)