项目作者: AestheticIntegration

项目描述 :
Imandra Protocol Language VS Code Plugin
高级语言:
项目地址: git://github.com/AestheticIntegration/ipl-vscode.git
创建时间: 2017-07-13T05:36:53Z
项目社区:https://github.com/AestheticIntegration/ipl-vscode

开源协议:

下载


" class="reference-link">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