Introduction

Welcome to the docs of the Frege IDE.

Head over to the Context page for a big picture overview of the involved systems and users. The Functional Overview page lists all supported features, while the Quality Attributes page outlines the major non-functional requirements which drove the design of the architecture. The imposed constraints are mentioned in Constraints, while the Principles page summarises the architecture’s guiding principles. The Software Architecture page documents the big picture view of the Frege IDE and explains its three main containers: The Visual Studio Code extension, the Frege language server and the Frege Gradle Plugin. Finally, we show how the principles were applied in some more detail in the Code page.