YaccConstructor/VisualFStar

What is this and how to use it?

Opened this issue · 1 comments

I have no clue what this is and how to use this. Any chance for some documentation? :)

We are working on it. First version for first demo: