Sandbox in Homotopy Type Theory

< [[nlab:Sandbox]]

[[!redirects Sandbox &gt; history]]