Skip to content

imandra-ai/ipl-vscode

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 

Repository files navigation

Aesthetic Integration

Welcome to Imandra Protocol Language VS Code Plugin Repo

This repo contains the vsix file required to run a language server for Imandra Protocol Language (IPL) in VSCode. It is possible to find it on the Visual Studio MarketPlace:

Please refer to the documentation for IPL:

Examples can be found in the examples repository here