summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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-04Add leaderboardArnaud Bailly
2025-11-04added toplevel pageArnaud Bailly
2025-11-03Can parse definitionsArnaud Bailly
2025-11-03resugar evaluated termArnaud Bailly
2025-11-03handle language when loading programArnaud Bailly
2025-11-03Handle :lang in REPLArnaud 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-03fix bool and fac examplesArnaud Bailly
2025-11-03draft planArnaud Bailly
2025-11-02allow to run untyped evaluatorArnaud Bailly
2025-11-02better rendering for evaluation outputArnaud Bailly
2025-11-02better rendering for type errors and evaluationArnaud Bailly
2025-11-02fix websocket URL typoArnaud Bailly
2025-11-02use wss:// when connecting through HTTPSArnaud Bailly
2025-11-02build everything in CIArnaud Bailly
2025-11-02fix name of branch in CIArnaud Bailly
2025-11-02fix order of completionArnaud Bailly
2025-11-02fix tests and add HTML stuff to deploymentArnaud Bailly
2025-11-02add deployment to CIArnaud Bailly
2025-11-01Add tests for Net-based REPLArnaud Bailly
2025-11-01Add server capabilityArnaud Bailly
2025-10-28wip: port REPL from minilangArnaud Bailly
2025-10-28Provide function to go back from a deBruijn term to an ASTArnaud 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
2025-10-17feat: can parse an identifier as a variable (symbol)Arnaud Bailly
2025-10-17feat: introduce parser and ASTArnaud Bailly
2025-10-17feat: add basic application to evaluate "programs"Arnaud Bailly
The main simply reads from its stdin, evaluates its input, and dump the result of the evaluation.
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 12:55:41 +0000