Provides a grammar for CSPM (machine-readable CSP), as accepted by FDR for the Atom editor.
See also linter-cspm which adds support for typechecking CSPM files within Atom.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Provides a grammar for CSPM (machine-readable CSP), as accepted by FDR for the Atom editor.
See also linter-cspm which adds support for typechecking CSPM files within Atom.