Git repo URL: #{repoUrl repo} / Branch: #{repoBranch repo} $maybe repoLink <- maybeRepoLink (Browse at #{repoLink}) $nothing $if (challengeArchived challenge == Just True)

This challenge is archived! $if (checkIfAdmin mUserEnt) $if (challengeArchived challenge /= Just True)

Leaderboard ^{Table.buildBootstrap (leaderboardTable mUserId (challengeName challenge) scheme challengeRepo tests) leaderboardWithRanks} <script src="/static/js/sigma.parsers.json.min.js"> ^{paramGraphsWidget challenge tests params}

Leaderboard ^{Table.buildBootstrap (leaderboardTable mUserId (challengeName challenge) scheme challengeRepo tests) leaderboardWithRanks}