summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell
AgeCommit message (Expand)Author
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-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-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
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
2025-10-13add minimal radicle CI configurationArnaud Bailly
2025-10-13add minimal evaluator and type inferenceArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 08:09:45 +0000