GitHub repository: AestheticIntegration/ipl-vscode
Created: 2017-07-13T05:36:53Z
Description: Imandra Protocol Language VS Code Plugin