From f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 16:28:56 +0100 Subject: provide help on the leaderboard and OpenAPI specification --- lambda-calcul/haskell/public/leaderboard.html | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/public/leaderboard.html') diff --git a/lambda-calcul/haskell/public/leaderboard.html b/lambda-calcul/haskell/public/leaderboard.html index 22e01be..aa129c2 100644 --- a/lambda-calcul/haskell/public/leaderboard.html +++ b/lambda-calcul/haskell/public/leaderboard.html @@ -12,7 +12,7 @@ -

Leaderboard

+

Leaderboard ?

@@ -22,6 +22,22 @@
+
+

Minilang REPL Help

+

This is the leaderboard 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 here.

+

For each registered user, we display:

+
+
name
+
The display name for the user or team
+
grade
+
The current level they are at, ie. the highest challenge they need to solve
+
Last Test
+
The time (in UTC) at which this user as sent their latest answer. If the answer was correct it will be highlighted in red otherwise in red.
+
+

REST-ish API

+ +
+ -- cgit v1.3.1