// s ::= () => s0
//}
+tibcase {
+ input
+"
+ hello
+ there
+ how
+ { are }
+";
+
+ s ::= { Hello }
+ w ::= " " | "\n"
+ ws !::= w**
+ Hello ::= "hello" ws { "there" ws "how" ws { { "are" } ws } }
+}
+
testcase {
input "ab c";
output "1:{{a b} {c}}";
indent !::= ww
outdent !::= " " outdent " "
- | " " [~]* "\n"
+ | " " ([~]*) "\n"
any !::= [~]*
s ::= !any "\n\n" !ww statement !ww "\n\n" !any => smt