Swish.Script
Syntax
Defining a prefix
Naming a graph
Reading and writing graphs
Merging graphs
Comparing graphs
Defining rules
Apply a rule
Define a proof
An example script
Parsing
parseScriptFromText