HoTT at Recon