added missing comma from README.md (thanks to @vesalvojdani). - Githubissues

FStarLang / VimFStar

A Vim mode for FStar

Vim License

24 stars 12 forks source link

added missing comma from README.md (thanks to @vesalvojdani). #11

Closed mlr-msft closed 8 years ago