blob: aa129c2dde4813ff4e305335667a30dfbddccac2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Leaderboard</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="/minilang.css" >
<link rel="icon"
type="image/png"
href="/pi.png">
<link href="https://fonts.googleapis.com/css?family=Inconsolata&display=swap" rel="stylesheet">
</head>
<body>
<h1>Leaderboard <span id="helptip">?</span></h1>
<div class="leaderboard choice">
<table id="leaderboard">
<thead>
<tr><th>Name</th><th>Grade</th><th>Last test</th></tr>
</thead>
<tbody>
</tbody>
</table>
</div>
<div id="help">
<h2>Minilang REPL Help</h2>
<p>This is the <em>leaderboard</em> displaying the score of registered users competing to implement λ-calculus by solving challenges. To register as a participant in the competition, use the REST-ish API documented <a href="/api.html">here</a>.</p>
<p>For each registered user, we display:</p>
<dl>
<dt>name</dt>
<dd>The display name for the user or team</dd>
<dt>grade</dt>
<dd>The current <em>level</em> they are at, ie. the highest challenge they need to solve </dd>
<dt>Last Test</dt>
<dd>The time (in UTC) at which this user as sent their latest answer. If the answer was correct it will be highlighted in <span style="background-color: green; padding: .1em; ">red</span> otherwise in <span style="background-color: red; padding: .1em;">red</span>.</dd>
</dl>
<h2>REST-ish API</h2>
</div>
<script src="leaderboard.js"></script>
<script src="help.js"></script>
</body>
</html>
|
