[[!redirects Resources]] [[!redirects resources]] < [[nlab:homotopy type theory#References]] category: redirected to nlab