README.md

jsonstar

JSON serialization and schema generation library for F*

Usage

Reference jsonstar nuget from your project and add "--include $(JSONSTAR_INCLUDE)" to your FSTAR_FLAGS property in your project.