Skip to content

Commit

Permalink
remove dead discourse link
Browse files Browse the repository at this point in the history
  • Loading branch information
madnight committed Feb 24, 2024
1 parent 89c5ff8 commit 36ff64d
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -249,10 +249,6 @@ <h2 id="online-communities-and-social-resources">Online Communities</h2>
<a href="https://ncatlab.org/">ncatlab</a>
- A wiki with content varying from pure category theory, to categorical perspectives on other areas of maths, to random unrelated bits of maths
</li>
<li>
<a href="https://discourse.category-theory.org">Category Theory Discourse (new!)</a>
- A forum based on Discourse for discussions on Category Theory topics
</li>
</ul>
</div>
</div>
Expand Down

0 comments on commit 36ff64d

Please sign in to comment.