lambda-nantes/lambda-calcul/haskell/public/repl.js, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/public/repl.js?h=main 2026-04-01T14:53:59Z Fix UI following change in commands output 2026-04-01T14:53:59Z Arnaud Bailly arnaud@pankzsoft.com 2026-04-01T14:53:59Z urn:sha1:e00af962a3e62bf221c5ed16127acb833821c7cd There should really exist tests for that 🙄 clear command output on UI 2025-11-05T21:21:24Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T21:21:24Z urn:sha1:2df52c498170fc65c1ce5413be412cf5ba3482ae 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 provide session id to user so they can reconnect 2025-11-05T13:23:03Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T13:23:03Z urn:sha1:afcfa146122179dc80dd8055314b1381d152fb09 allow reconnecting with to REPL with token 2025-11-05T13:08:28Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T13:08:28Z urn:sha1:71fa7dfdc873b014bf1b5b8ea648e803bff67724 add help panel to the REPL 2025-11-05T12:43:11Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T12:43:11Z urn:sha1:264e81758fe4932f139819192302f4900ae1e447 resugar evaluated term 2025-11-03T21:08:25Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-03T21:08:25Z urn:sha1:186785c7bc7d511fef75ec22e72143f7707ae886 Fix representation of types 2025-11-03T19:30:47Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-03T19:30:47Z urn:sha1:78fac35c6e7a987bc2b6a37d78cd2c07c3a0efa2 Allow :lang command 2025-11-03T19:08:59Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-03T19:08:59Z urn:sha1:05800b377de4e2883faad1ae047139ea8fef00ba better representation of evaluated terms in UI 2025-11-03T19:04:17Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-03T19:04:17Z urn:sha1:6ef423e2b2a32b5eca00d354283b1ce312129608