sponsor Vim development Vim logo Vim Book Ad

vim-ivy : Syntax plugin for the IVy language

 script karma  Rating 16/4, Downloaded by 278  Comments, bugs, improvements  Vim wiki

created by
Nathan Taylor
 
script type
syntax
 
description
This is a syntax plugin for Microsoft Research's IVy protocol verification language.  You can find out more about IVy and its use-cases here: http://microsoft.github.io/ivy/

This page contains a tarball derived from the plugin's Git repository: https://github.com/dijkstracula/vim-ivy .
 
install details
Please consult the "installation" section of the plugin's README for up-to-date details: https://github.com/dijkstracula/vim-ivy/blob/main/README.md#installation .
 

rate this script Life Changing Helpful Unfulfilling 
script versions (upload new version)

Click on the package to download.

package script version date Vim version user release notes
vim-ivy.tar.gz 0.0.1 2021-12-21 7.0 Nathan Taylor Initial upload
ip used for rating: 216.73.216.130

Questions about Vim should go to the maillist. Help Uganda.     Vim at Github