We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Trying to fix Go playground's link.
Introducing the In() and Satisfies() methods.
Gives an example of getting a transition system and collecting one state from it.
Attempting to write small intro about transition systems.