fstar/jdepp syntax checker now works in linux. - Githubissues

FStarLang / VimFStar

A Vim mode for FStar

Vim License

24 stars 12 forks source link

fstar/jdepp syntax checker now works in linux. #1

Closed fmrl closed 9 years ago