From 18bb880685a7828163a11b9d16929a279395ffe2 Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Sun, 12 May 2024 00:22:10 +0800 Subject: [PATCH] up --- README.md | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/README.md b/README.md index ad1ff9ce..692d105d 100644 --- a/README.md +++ b/README.md @@ -36,17 +36,6 @@ Thank you, [Dan Friedman](https://www.cs.indiana.edu/~dfried), for we learned mo 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,