Skip to content

Add code snippets #39

@lou1306

Description

@lou1306

We should provide the user with snippets/boilerplate code to make writing in r-check faster.

Examples include:

  • A boilerplate for agent
  • Snippets for forall/exists in LTOL
  • Possibly, snippets that activate on ! that provide boilerplate for send-guard, data, update (might be as simple as ()()[])
  • The same for ? but obviously without send guard

Metadata

Metadata

Assignees

No one assigned

    Labels

    ui/uxIssues related to the extension's user interface/user experience.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions