Hello World in Visual Studio #3
Description
Hi,
Would it be possible to include a Hello World type tutorial how to run sources generated from FStar in a FSharp application inside Visual Studio.
Keep up the good work!
{{ message }}
Hi,
Would it be possible to include a Hello World type tutorial how to run sources generated from FStar in a FSharp application inside Visual Studio.
Keep up the good work!