diff --git a/README.md b/README.md index f5fbdd24..1e17f88e 100644 --- a/README.md +++ b/README.md @@ -32,17 +32,6 @@ Thank you, [Daniel P. Friedman](https://www.cs.indiana.edu/~dfried), for we lear Thank you, [David Christiansen](https://davidchristiansen.dk), for coauthoring ["The Little Typer"](https://mitpress.mit.edu/9780262536431/the-little-typer) with Dan, and writing up great tutorials ([1](https://davidchristiansen.dk/tutorials/nbe), [2](https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf)) about dependent types. -## Community - -GitHub: - -- Organization: [github.com/cicada-lang](https://github.com/cicada-lang) - -Telegram: - -- English chat group: [CicadaLanguage](https://t.me/CicadaLanguage) -- Chinese chat group: [CicadaLanguageCN](https://t.me/CicadaLanguageCN) - ## Contributions To make a contribution,