lambda-nantes/lambda-calcul/haskell/test/Minilang/ServerSpec.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/ServerSpec.hs?h=main2026-04-01T14:22:02ZRemove answers from sent challenges2026-04-01T14:22:02ZArnaud Baillyarnaud@pankzsoft.com2026-04-01T14:18:01Zurn:sha1:f6dde1041a52da4f2e7ccb77eed3c577f9d07798
Also fix integration test
Add builtin arithmetic operators2026-03-22T12:16:21ZArnaud Baillyarnaud@pankzsoft.com2026-03-22T12:16:21Zurn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7
* also allow choosing evaluator
* ensures equivalence of evaluators up-to α-renaming
* checks server accepts answers from challenge
Add more challenges and plans for enhancement of the interpreter2026-03-21T08:06:47ZArnaud Baillyarnaud@pankzsoft.com2026-03-21T08:06:47Zurn:sha1:fade9c496cebbc0caa97821cb85e9e56da31c57fprovide help on the leaderboard and OpenAPI specification2025-11-05T15:28:56ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T15:28:56Zurn:sha1:f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2can cleanup registered users2025-11-05T07:24:05ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T07:24:05Zurn:sha1:246d370bd903edeb5570b6f016556528b8ca57fcrecord last success/failure in score2025-11-05T06:55:45ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T06:55:45Zurn:sha1:72ed98c66d1585c94ee5383c19a1dec8e10bb050use hex-encoding for tokens2025-11-05T06:24:18ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T06:24:18Zurn:sha1:b0374700a5a7e6b0bd5abe3568c50223369de5f5return correct leaderboard2025-11-05T05:28:38ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T05:28:38Zurn:sha1:3621ddbdff4d52ad58f9af57b8a47e50d42be948increase grade with succesful answer2025-11-05T05:26:06ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T05:24:21Zurn:sha1:7fbba2eb68ec5855d7af0adcf4fe0d6948177a43handle post challenge error cases2025-11-05T05:06:22ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T05:06:22Zurn:sha1:e6d000430619613a07974f601e7c132cd12556e9