The thing to keep in mind is that the programming language stuff that Adam tends to do may require different mode of work than HoTT.