Context
The Frege Integrated Development Environment (IDE) adds language features for the Frege programming language to a text editor. Showing compiler errors and autocompletion suggestions are two examples of language features which help developers to write software more quickly. The Frege IDE interacts with the Frege compiler, a Build Tool and a text editor, as shown in Figure 1. It extracts the needed language feature from the Frege compiler and visualises it in the text editor. Besides, it also adds Frege automation support such as the creation, compilation and testing of a Frege application to the build tool.
In the broader context, its main users are Frege developers who write their source code in a supported text editor as can be seen in Figure 3.