lambda-nantes/lambda-calcul/haskell/public/leaderboard.html, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/public/leaderboard.html?h=main2025-11-05T15:28:56Zprovide help on the leaderboard and OpenAPI specification2025-11-05T15:28:56ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T15:28:56Zurn:sha1:f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2immediately update leaderboard when loading page2025-11-05T07:05:41ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T07:05:41Zurn:sha1:92b8d663a034cd35fdc4191bcd8c8ce980931b61Add leaderboard2025-11-04T05:05:35ZArnaud Baillyarnaud@pankzsoft.com2025-11-04T05:05:35Zurn:sha1:3a8b518b8dec3ca9e983e5339bff797f25ac05ff