Has anyone done any serious reading on homotopy type theory? I've been in a reading group for a couple of months now and it still hasn't clicked for me.