summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/test/Minilang
AgeCommit message (Collapse)Author
2026-04-01Remove answers from sent challengesArnaud Bailly
Also fix integration test
2026-03-22Add strings handlingArnaud Bailly
2026-03-22Add builtin arithmetic operatorsArnaud Bailly
* also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge
2026-03-22Add integration test for all challengesArnaud Bailly
2026-03-22Add integers parsingArnaud Bailly
2026-03-21Add more challenges and plans for enhancement of the interpreterArnaud Bailly
2025-11-07fix call-by-value evaluator base on NBEArnaud Bailly
2025-11-06evaluate terms when defining themArnaud Bailly
2025-11-05provide help on the leaderboard and OpenAPI specificationArnaud 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-05record last success/failure in scoreArnaud Bailly
2025-11-05use hex-encoding for tokensArnaud 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
2025-11-04Default REPL to Untyped languageArnaud Bailly
2025-11-04Scaffold RESTish API for challengeArnaud Bailly
2025-11-04Cleanup importsArnaud Bailly
2025-11-03Can parse definitionsArnaud Bailly
2025-11-03resugar evaluated termArnaud Bailly
2025-11-03Handle :lang in REPLArnaud Bailly
2025-11-02allow to run untyped evaluatorArnaud Bailly
2025-11-02better rendering for type errors and evaluationArnaud Bailly
2025-11-02fix order of completionArnaud Bailly
2025-11-02fix tests and add HTML stuff to deploymentArnaud Bailly
2025-11-01Add tests for Net-based REPLArnaud Bailly
2025-10-28wip: port REPL from minilangArnaud Bailly
2025-10-28wip: use de Bruijn indices representationArnaud Bailly
provide sample complex terms to evaluate
2025-10-27Parse multiple let expressionsArnaud Bailly
2025-10-27Parse let expressionsArnaud Bailly
2025-10-27Fix evaluation with environment by introducing ValueArnaud Bailly
2025-10-27Add more tests and referencesArnaud Bailly
2025-10-17feat: main program evaluates s-expressionsArnaud Bailly
2025-10-17feat: can desugar expressionsArnaud Bailly
2025-10-17feat: pretty-print expressionsArnaud Bailly
2025-10-17feat: parse an applicationArnaud Bailly
2025-10-17feat: parses single applicationArnaud Bailly
2025-10-17feat: parse λ-expr with multiple bindingsArnaud Bailly
2025-10-17feat: can parse a simple λ-expressionArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 12:42:44 +0000