Configuration issues with redirects across versions of homotopytypetheory.com may be causing access issues. The links below can provide alternative paths to reach the site:

http://homotopytypetheory.com http://www.homotopytypetheory.com https://homotopytypetheory.com https://www.homotopytypetheory.com

Or return to the current status page of homotopytypetheory.com.