summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
2025-10-13update from workshop 2bisArnaud Bailly
2025-10-09feat: more logsArnaud Bailly
2025-10-09feat: introduce arrow typesArnaud Bailly
2025-10-09feat: can type Bools and SymsArnaud Bailly
2025-10-09feat: introduce typing of expressionsArnaud Bailly
2025-10-09feat: can serve and receive Json or SexpArnaud Bailly
2025-10-09feat: use client encoding (but always expect JSON)Arnaud Bailly
2025-10-09refactor: extract functionArnaud Bailly
2025-10-09feat: work with Value at generation and convert laterArnaud Bailly
2025-10-09feat: add AST representation choice for registrationArnaud Bailly
2025-10-09chore: check JSON representation of ValueArnaud Bailly
2025-10-09feat: serve /static directoryArnaud Bailly
2025-10-09chore: add rust workspace file to please eglotArnaud Bailly
2025-10-09fix: clarify registration and use of netcatArnaud Bailly
2025-09-27feedback from geek campArnaud Bailly
2025-09-25add readmeArnaud Bailly
2025-07-06feat: start working on typecheckerArnaud Bailly
2025-06-28Typo: remove pluralEmmanuel Gaillot
2025-01-31Added example in Haskell and some more commentsArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 06:42:05 +0000