search

FStarLang / VimFStar

A Vim mode for FStar
Vim License
24 stars 12 forks source link

I don't use Windows, but interactive still returns Busy for me #22

Open WhiteBlackGoose opened 1 year ago

WhiteBlackGoose commented 1 year ago

Note: Interactive mode requires a Cygwin build of (g)Vim.

What does it mean for non-Windows platforms?

(FWIW I'm porting this plugin to python3 right now, but missing some features)

WhiteBlackGoose commented 1 year ago

Or, rather, I cannot get any features but syntax highlighting to work.

WhiteBlackGoose commented 1 year ago

looks like there's nothing but syntax highlighting and interactive verification either though :/