GitHub repository: mlr-msft/vim-loves-dafny
Primary language: Vim script
Created: 2015-04-24T17:02:11Z
Description: a vim plugin for Dafny, a verified programming language.