lambda-nantes/lambda-calcul/haskell/public/minilang.css, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/public/minilang.css?h=main 2025-11-06T09:50:36Z fix terminal height 2025-11-06T09:50:36Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-06T09:50:36Z urn:sha1:28cd86d285bf2d4d76ba7fff87fbea2e3950ce8b 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 add help panel to the REPL 2025-11-05T12:43:11Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-05T12:43:11Z urn:sha1:264e81758fe4932f139819192302f4900ae1e447 Add leaderboard 2025-11-04T05:05:35Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T05:05:35Z urn:sha1:3a8b518b8dec3ca9e983e5339bff797f25ac05ff added toplevel page 2025-11-04T04:49:36Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T04:49:36Z urn:sha1:b269980bdc57a644edc7510615a1ecaccd2ae057 Add tests for Net-based REPL 2025-11-01T18:09:40Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-01T18:09:40Z urn:sha1:10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e Add server capability 2025-11-01T16:45:25Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-01T16:45:25Z urn:sha1:2a20afb971ef3323955964b1bbb5f75af4ca5fcb