Jupyter Support

There is a tight integration with the JupyterLab platform. The current support includes syntax highlighting, code analysis and explanations of results.

The following screenshot is from a JupyterLab cell containing a program that computes the transitive closure of a relation.