2015-08-29 07:23:34 +02:00
|
|
|
<div id="heading">
|
|
|
|
$maybe user <- maybeUser
|
|
|
|
_{MsgLoggedAs} #{userIdent $ entityVal user}
|
2015-08-29 14:58:47 +02:00
|
|
|
\ | <a href="@{CreateChallengeR}">_{MsgCreateChallenge}</a>
|
2015-09-04 23:23:32 +02:00
|
|
|
\ | <a href="@{ListChallengesR}">_{MsgListChallenges}</a>
|
2015-08-29 07:23:34 +02:00
|
|
|
\ | <a href="@{AuthR LogoutR}">_{MsgLogOut}</a>
|
|
|
|
$nothing
|
|
|
|
<a href="@{AuthR LoginR}">_{MsgLogIn}</a>
|
2015-08-20 22:33:38 +02:00
|
|
|
$maybe msg <- mmsg
|
2015-08-29 07:23:34 +02:00
|
|
|
<div #message>#{msg}
|
2015-08-20 22:33:38 +02:00
|
|
|
^{widget}
|