diff --git a/docs/README.juvix.md b/docs/README.juvix.md index 1e0efa14..761b7618 100644 --- a/docs/README.juvix.md +++ b/docs/README.juvix.md @@ -46,12 +46,7 @@ high-level programming language with many more on the horizon. It can compile programs into native executable, WASM, Cairo bytecode and arithmetic circuits facilitating zero-knowledge proofs. -Stay tuned for Juvix updates! Follow us on [:material-twitter: Twitter][twitter] -and join our [:fontawesome-brands-discord: Discord][Discord] community. - - +Stay tuned for Juvix updates and follow us on [:material-twitter: Twitter][twitter]! @@ -115,7 +110,7 @@ Discord][anomaDiscord]. --> --- Check out our blog to discover new features in the upcoming release, along - with helpful examples and more. And, don't forget to join us on [Discord]. + with helpful examples and more. [:octicons-arrow-right-24: Blog](./blog/index.md) @@ -132,8 +127,6 @@ Discord][anomaDiscord]. --> [anoma]: https://anoma.net [changelog]: https://docs.juvix.org/changelog.html -[Discord]: https://discord.gg/jwzaMZ2Sct -[anomaDiscord]: https://discord.gg/jwzaMZ2Sct [geb]: https://github.com/anoma/geb [GitHub]: https://github.com/anoma/juvix [homebrew]: https://brew.sh diff --git a/docs/howto/contributing.md b/docs/howto/contributing.md index f3f88f3f..0bc4ac93 100644 --- a/docs/howto/contributing.md +++ b/docs/howto/contributing.md @@ -42,8 +42,7 @@ Codespace][juvix-codespace] We value readability and maintainability over saving lines of code. The best source of truth for the Juvix code style is the existing codebase. We strongly encourage you to look at the existing code and follow the same style. Open an -issue if you have any questions, or better yet, join our [Discord][discord] and -ask there! +issue if you have any questions. Some basic guidelines when writing code: @@ -73,4 +72,3 @@ Thank you for contributing to Juvix! [stack]: https://docs.haskellstack.org/en/stable/README/ [just]: https://just.systems [pre-commit]: https://pre-commit.com/ -[discord]: https://discord.gg/PfaaFVErHt diff --git a/mkdocs.insiders.yml b/mkdocs.insiders.yml index d4910053..116a51ce 100644 --- a/mkdocs.insiders.yml +++ b/mkdocs.insiders.yml @@ -74,8 +74,6 @@ extra: social: - icon: fontawesome/brands/github link: https://github.com/anoma/juvix - - icon: fontawesome/brands/discord - link: https://discord.gg/jwzaMZ2Sct - icon: fontawesome/brands/x-twitter link: https://x.com/juvixlang - icon: fontawesome/solid/blog diff --git a/mkdocs.yml b/mkdocs.yml index d78b6f8e..cd2e7642 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -182,8 +182,6 @@ nav: - blog/index.md - Talks: - talks.md - - Discord: https://discord.gg/jwzaMZ2Sct - validation: nav: