Imandra VS Code Plugin

The best place to start with IPL is the VS Code plugin. It provides language-aware editing and built-in documentation generation for IPL models.

• Install the plugin: IPL VS Code Plugin
• Install the Imandra CLI
• Sign in with an Imandra account

Once installed, open an .ipl file and run:

• Ipl:Generate Documentation to generate HTML documentation from your model
• Ipl:Generate Markdown template to create a customizable Markdown doc template

The extension also guides authentication and zone selection when needed.

Plugin source code and issue tracking are available on GitHub: AestheticIntegration/ipl-vscode.

Continue with IPL docs

After plugin setup, continue with the language docs:

• Start with Introduction
• Learn core syntax in Types, State, and Expressions
• Explore modeling flow in Messages and Actions and Functions
• See advanced usage in Libraries, Message Flows, and Tutorials