summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-12-01implement op sequence propertyArnaud Bailly
2025-12-01more checks on shrinkingArnaud Bailly
2025-11-29start simple bank exampleArnaud Bailly
2025-11-19Minor renamingArnaud Bailly
2025-11-19added stateful PBT kata from SW Crafters NantesArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-11-07fix call-by-value evaluator base on NBEArnaud Bailly
2025-11-06fix terminal heightArnaud Bailly
2025-11-06evaluate terms when defining themArnaud Bailly
2025-11-06updated challengesArnaud Bailly
2025-11-06draft env-based normaliserArnaud Bailly
2025-11-06update slides PDFArnaud Bailly
2025-11-06revealjs version of slidesArnaud Bailly
2025-11-05fix encoding for apiArnaud Bailly
2025-11-05update slides with repo QRCodeArnaud Bailly
2025-11-05add challenges file to deploymentArnaud Bailly
2025-11-05clear command output on UIArnaud Bailly
2025-11-05add slides for newcraftsArnaud Bailly
2025-11-05better logging when loading challengesArnaud 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-05better name for log identifierArnaud Bailly
2025-11-05Immediately flush logs after writingArnaud Bailly
2025-11-05add help panel to the REPLArnaud Bailly
2025-11-05do not display type when piping programArnaud Bailly
2025-11-05fix resolution of free variablesArnaud Bailly
2025-11-05can parse whole programs and load themArnaud Bailly
2025-11-05output type of definitionsArnaud Bailly
2025-11-05handle defitions in untyped languageArnaud Bailly
2025-11-05evaluate deBruijn terms in environmentArnaud Bailly
2025-11-05can cleanup registered usersArnaud Bailly
2025-11-05add simple demo scriptArnaud 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-05use hex-encoding for tokensArnaud Bailly
2025-11-05use default challenges if file does not existArnaud Bailly
2025-11-05minor reformatting testArnaud Bailly
2025-11-05return correct leaderboardArnaud Bailly
2025-11-05increase grade with succesful answerArnaud Bailly
2025-11-05handle post challenge error casesArnaud Bailly
2025-11-05post correct challenge responseArnaud Bailly
2025-11-04Can retrieve first challenge when registeredArnaud Bailly
2025-11-04Keep registered usersArnaud Bailly
2025-11-04Register user and return random tokenArnaud Bailly
2025-11-04Serve index.html when requesting '/'Arnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 05:46:30 +0000