diff --git a/src/msph/README.md b/src/msph/README.md index 00011ea..3c87d87 100644 --- a/src/msph/README.md +++ b/src/msph/README.md @@ -9,6 +9,9 @@ with the SPHO types and subtyping. Grammar in pseudo-bnf +And yes, it is ambiguous at places. More specification coming when there is +time. + ``` MSph ::= Body