VisualFStar

Support for F* language in Visual Studio IDE.

##Build status

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
.paket		.paket
FStar @ 0769c83		FStar @ 0769c83
FStarRuntimeSetup		FStarRuntimeSetup
docs		docs
lib		lib
src		src
tests/VisualFStar.Tests		tests/VisualFStar.Tests
z3-4.4.0-x64-win		z3-4.4.0-x64-win
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
MPFProj12.zip		MPFProj12.zip
README.md		README.md
RELEASE_NOTES.md		RELEASE_NOTES.md
VisualFStar.sln		VisualFStar.sln
appveyor.yml		appveyor.yml
build.cmd		build.cmd
build.fsx		build.fsx
build.sh		build.sh
paket.dependencies		paket.dependencies
paket.lock		paket.lock

YaccConstructor/VisualFStar