A repository to show how to install HoTT from Opam.