lambda-nantes/lambda-calcul/haskell/src/Minilang/Server.hs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/src/Minilang/Server.hs?h=main 2026-03-22T12:16:21Z Add builtin arithmetic operators 2026-03-22T12:16:21Z Arnaud Bailly arnaud@pankzsoft.com 2026-03-22T12:16:21Z urn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7 * also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge better logging when loading challenges 2025-11-05T16:03:38Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T16:03:38Z urn:sha1:300a61340ff1744ea3241c9744c80ce2215df74c provide help on the leaderboard and OpenAPI specification 2025-11-05T15:28:56Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T15:28:56Z urn:sha1:f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2 record last success/failure in score 2025-11-05T06:55:45Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T06:55:45Z urn:sha1:72ed98c66d1585c94ee5383c19a1dec8e10bb050 use default challenges if file does not exist 2025-11-05T05:44:24Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T05:44:24Z urn:sha1:dff1c912eb69ad1f97f030bd0fdb7d440b2dc534 minor reformatting test 2025-11-05T05:36:53Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T05:35:47Z urn:sha1:cd46eaf57fac4e452f11747a1d420f901c630552 increase grade with succesful answer 2025-11-05T05:26:06Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T05:24:21Z urn:sha1:7fbba2eb68ec5855d7af0adcf4fe0d6948177a43 Keep registered users 2025-11-04T21:02:53Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T21:02:53Z urn:sha1:958cd52392185fc31333c1b208948046d7a9e635 Register user and return random token 2025-11-04T20:52:15Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T20:52:15Z urn:sha1:db4ecd7a93086585937b9b45970f4f4c4e1838a3 Serve index.html when requesting '/' 2025-11-04T08:06:01Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T08:06:01Z urn:sha1:df879037d135c0b300735185d5fdc0857ed797d6