Releases · YaccConstructor/VisualFStar · GitHub

23 Jan 08:28

gsvgit

Minor release Pre-release

Pre-release

Pair matching
Highlighting for more keywords
Latest FStar runtime

Assets 4

16 Oct 13:24

gsvgit

First demo Pre-release

Pre-release

First demo of FStar extension for MSVS 2015.

Assets 4