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