This repository was archived by the owner on Aug 27, 2025. It is now read-only.

Syntax

Jump to bottom

Ilya Sergey edited this page Aug 2, 2018 · 2 revisions

Scilla Syntax

Consult the Parser implementation.

Textual description coming soon!