summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public
AgeCommit message (Collapse)Author
2025-11-05clear command output on UIArnaud Bailly
2025-11-05provide help on the leaderboard and OpenAPI specificationArnaud Bailly
2025-11-05provide session id to user so they can reconnectArnaud Bailly
2025-11-05allow reconnecting with to REPL with tokenArnaud Bailly
2025-11-05add help panel to the REPLArnaud Bailly
2025-11-05immediately update leaderboard when loading pageArnaud Bailly
2025-11-05fix color display for success/failureArnaud Bailly
2025-11-05record last success/failure in scoreArnaud Bailly
2025-11-05sort leaderboard by gradeArnaud Bailly
2025-11-05fix user name when displaying leaderboardArnaud Bailly
2025-11-04Scaffold RESTish API for challengeArnaud Bailly
2025-11-04Add leaderboardArnaud Bailly
2025-11-04added toplevel pageArnaud Bailly
2025-11-03resugar evaluated termArnaud Bailly
2025-11-03Fix representation of typesArnaud Bailly
2025-11-03Allow :lang commandArnaud Bailly
2025-11-03better representation of evaluated terms in UIArnaud Bailly
2025-11-02better rendering for evaluation outputArnaud Bailly
2025-11-02fix websocket URL typoArnaud Bailly
2025-11-02use wss:// when connecting through HTTPSArnaud Bailly
2025-11-01Add tests for Net-based REPLArnaud Bailly
2025-11-01Add server capabilityArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 11:41:24 +0000