Fix broken link

homotopy-io · Jun 14, 2024 · 2b2642a · 2b2642a
1 parent bc1f724
commit 2b2642a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/homotopy-web/src/app/info.rs b/homotopy-web/src/app/info.rs
@@ -129,7 +129,7 @@ pub fn get_about_message() -> Html {
                 {", "}
                 <a href="https://ncatlab.org/nlab/show/homotopy.io">{"nLab page"}</a>
                 {", and "}
-                <a href="httsp://github.com/homotopy-io/homotopy-rs">{"GitHub repository"}</a>
+                <a href="https://github.com/homotopy-io/homotopy-rs">{"GitHub repository"}</a>
                 {"."}
             </p>
             <h3>{"License"}</h3>