From 36ff64db56dbbf87cfcfe21c620f3df5a44b8e8e Mon Sep 17 00:00:00 2001 From: Fabian Beuke Date: Sat, 24 Feb 2024 17:11:50 +0100 Subject: [PATCH] remove dead discourse link --- docs/index.html | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/index.html b/docs/index.html index 2b81264..34b7924 100644 --- a/docs/index.html +++ b/docs/index.html @@ -249,10 +249,6 @@

Online Communities

ncatlab - A wiki with content varying from pure category theory, to categorical perspectives on other areas of maths, to random unrelated bits of maths -
  • - Category Theory Discourse (new!) - - A forum based on Discourse for discussions on Category Theory topics -