path: root/README.extensions.md

# Protocol extensions

((TODO: shapes of the main document; shapes of extension documents;
how to invoke the compiler; merge behaviour))