summaryrefslogtreecommitdiff
path: root/lambda-calcul/rust
AgeCommit message (Expand)Author
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-09fix: clarify registration and use of netcatArnaud Bailly
2025-09-27feedback from geek campArnaud Bailly
2025-07-06feat: start working on typecheckerArnaud Bailly
2025-06-28Typo: remove pluralEmmanuel Gaillot
2025-01-25Move λ-calcul workshop code to subdirectoryArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 22:24:50 +0000