High-level documentation for TangleJS