Leaderboard ?

NameGradeLast test

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