diff --git a/technique.bnf b/technique.bnf index 9876658..5046380 100644 --- a/technique.bnf +++ b/technique.bnf @@ -76,7 +76,7 @@ procedure_description := Paragraph+ Paragraph := Descriptive+ NEWLINE -Descriptive := ANY | code_inline | descriptive_binding +Descriptive := ANY | code_inline | descriptive_binding | cost_literal code_inline := "{" Expression "}" @@ -95,6 +95,8 @@ Expression := Application | foreach_keyword | repeat_keyword | + within_keyword | + cost_literal | expression_binding | list_structure | tuple_literal @@ -117,6 +119,10 @@ foreach_keyword := "foreach" identifiers "in" Expression repeat_keyword := "repeat" Expression +within_keyword := "within" Expression + +cost_literal := "$" "(" Expression ")" + expression_binding := Expression "~" identifiers string_literal := "\"" string_content* "\""