search

FStarLang / VimFStar

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

Interactive mode is broken #10

Closed ngrimm closed 8 years ago

ngrimm commented 9 years ago

The interactive mode in vim is currently broken. I created a pull request (#9) that fixes the issue.

mlr-msft commented 8 years ago

Closing this issue because the pull request has been accepted. Thanks!