lambda-nantes/lambda-calcul/haskell/public, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/public?h=main2026-04-01T14:53:59ZFix UI following change in commands output2026-04-01T14:53:59ZArnaud Baillyarnaud@pankzsoft.com2026-04-01T14:53:59Zurn:sha1:e00af962a3e62bf221c5ed16127acb833821c7cd
There should really exist tests for that 🙄
fix terminal height2025-11-06T09:50:36ZArnaud Baillyarnaud@pankzsoft.com2025-11-06T09:50:36Zurn:sha1:28cd86d285bf2d4d76ba7fff87fbea2e3950ce8bfix encoding for api2025-11-05T21:28:31ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T21:28:31Zurn:sha1:3cde28ec7c9c30cfb22bee4906944a55f9f9a8abclear command output on UI2025-11-05T21:21:24ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T21:21:24Zurn:sha1:2df52c498170fc65c1ce5413be412cf5ba3482aeprovide help on the leaderboard and OpenAPI specification2025-11-05T15:28:56ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T15:28:56Zurn:sha1:f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2provide session id to user so they can reconnect2025-11-05T13:23:03ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T13:23:03Zurn:sha1:afcfa146122179dc80dd8055314b1381d152fb09allow reconnecting with to REPL with token2025-11-05T13:08:28ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T13:08:28Zurn:sha1:71fa7dfdc873b014bf1b5b8ea648e803bff67724add help panel to the REPL2025-11-05T12:43:11ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T12:43:11Zurn:sha1:264e81758fe4932f139819192302f4900ae1e447immediately update leaderboard when loading page2025-11-05T07:05:41ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T07:05:41Zurn:sha1:92b8d663a034cd35fdc4191bcd8c8ce980931b61fix color display for success/failure2025-11-05T07:04:32ZArnaud Baillyarnaud@pankzsoft.com2025-11-05T07:04:32Zurn:sha1:1909fe4a4cfd0dff9b557fb408c2c47c42681bc3