module languages/nqc/syntax/NQC-Tasks imports languages/nqc/syntax/NQC-Statements exports sorts TaskList context-free syntax Task+ -> TaskList sorts Task context-free syntax "task" TaskName "(" ")" BlockStatement -> Task {cons("task")} sorts TaskName context-free syntax Identifier -> TaskName