Feature: quickly get JSON format for a spec
Opened this issue · 1 comments
danwt commented
Given a TLA+ spec there should be a quick way to learn the structure/format of the JSON that traces of the spec will be given in.
rnbguy commented
Maybe this will help https://app.quicktype.io
But this requires at least one json trace.