Skip to content
This repository was archived by the owner on Mar 27, 2025. It is now read-only.

Commit 9f51d9a

Browse files
elootseloots
committed
Add IDE set-up instructions
1 parent fd13d3e commit 9f51d9a

File tree

14 files changed

+280
-0
lines changed

14 files changed

+280
-0
lines changed

‎exercises/exercise_000_sudoku_solver_initial_state/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_001_dotty_deprecated_syntax_rewriting/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_002_dotty_new_syntax_and_indentation_based_syntax/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_003_top_level_definitions/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_004_parameter_untupling/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_005_extension_methods/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_006_using_and_summon/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_007_givens/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_008_enum_and_export/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_009_union_types/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_010_opaque_type_aliases/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_011_multiversal_equality/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_020_opaque_type_aliases_alt/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

‎exercises/exercise_021_multiversal_equality/IDE_setup.md

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
# Setting up IntelliJ or Visual Code Studio for Scala development
2+
3+
## Setting up IntelliJ for Scala development
4+
5+
- If you haven't already installed the IntelliJ IDE, follow the [Getting started](https://www.jetbrains.com/help/idea/installation-guide.html) instructions on the JetBrains website. The Community Edition should be sufficient for this workshop.
6+
7+
- After installing the IDE, install the IntelliJ Scala plugin by following [these instructions](https://www.jetbrains.com/help/idea/discover-intellij-idea-for-scala.html#scala_plugin).
8+
9+
## Setting up Visual Code Studio for Scala development
10+
11+
- Download the installation binary for your system (Windows, Mac, Linux) [here](https://code.visualstudio.com/download).
12+
13+
- Follow the set-up instructions [here](https://code.visualstudio.com/docs/setup/setup-overview).
14+
15+
- Install the Metals plugin for Visual Code Studio by following the instructions [here](https://scalameta.org/metals/docs/editors/vscode/)
16+
17+
18+
## Other Scala source editors
19+
20+
There are plenty of other options for Source Code editing. For example, [Scala] Metals supports Vim, Sublime Text and Emacs. For more information, have a look at the [Text Editors section](https://scalameta.org/metals/docs) in the Metals Documentation

0 commit comments

Comments
 (0)