From 6be6392be77daca2eda3620e9779fa6e561e1846 Mon Sep 17 00:00:00 2001 From: Maciej Gorywoda Date: Wed, 14 Aug 2024 18:24:24 +0200 Subject: [PATCH] Adds a mention of a Scala IDEs page in the docs --- community/index.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/community/index.md b/community/index.md index c281ead96..31f5e60b9 100644 --- a/community/index.md +++ b/community/index.md @@ -202,6 +202,10 @@ items and opinions. Ask your Scala friends who they follow on Twitter ## Community Libraries and Tools +Integrated Development Environments: + +* [Scala IDEs](https://docs.scala-lang.org/getting-started/scala-ides.html) discusses main Scala IDEs + Finding libraries: * [Scaladex](https://index.scala-lang.org), maintained by the Scala Center, is "an index of the known Scala ecosystem"