_{courseShorthand}
_{courseName}
_{MsgRegistered}
_{MsgLecturersForN (length courseLecturers)}
    $forall lecturer <- courseLecturers
  • #{lecturer} $maybe regTo <- courseRegisterTo
    _{MsgRegisterTo}
    ^{formatTimeW SelFormatDateTime regTo} $nothing
    _{MsgCourseSchool}
    _{courseSchoolName} $maybe desc <- courseDescription
    #{desc} $nothing