Bend2 · IntelliJ IDEA plugin

Bend 2 support for IntelliJ IDEA.

Write and explore Bend 2 files in IntelliJ IDEA. The Bend2 IDEA plugin adds code completion, navigation, proof workflows, and optional compiler checks to the editor.

Bend language tools in your IDE

Edit Bend source

Get syntax highlighting, snippets, completion, formatting, and a structure view for .bend files.

Navigate your project

Go to declarations, find usages, rename references, and browse source documentation across your Bend files.

Check code and proofs

With a configured Bend compiler, check unsaved files and imports, inspect proof goals, and track progress for selected proof roots.

Install Bend 2 and the IDEA plugin

  1. Install the Bend 2 language using its official instructions.
  2. In IDEA, open Settings → Plugins → gear icon → Manage Plugin Repositories and add https://idea.dearlordylord.com/updatePlugins.xml.
  3. In IDEA's Marketplace tab, search the repository you added for Bend2 and install it. The JetBrains Marketplace submission is under review.

To enable compiler checks, select your Bend 2 executable under Settings → Languages & Frameworks → Bend.