lambda-nantes/lambda-calcul/rust/src/web.rs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/rust/src/web.rs?h=main 2025-10-13T07:18:10Z update from workshop 2bis 2025-10-13T07:18:10Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-13T07:18:10Z urn:sha1:21befc8c8ab2e91632f5341b4fa9425cf3c815ff feat: more logs 2025-10-09T14:26:22Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T14:26:22Z urn:sha1:e580a8e4f2d44e646c6861197ef0fcf55aaba1d6 feat: can type Bools and Syms 2025-10-09T13:43:41Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T13:43:41Z urn:sha1:ecb4c59eb89a01ee2dea6495f6287cd0709ce403 feat: introduce typing of expressions 2025-10-09T13:21:49Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T13:21:49Z urn:sha1:5719458b477e05a60b323ba3bb910432b36d30d7 feat: can serve and receive Json or Sexp 2025-10-09T10:49:27Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T10:47:18Z urn:sha1:bf7f549e309a4da97def326b3fdf19a4d8833450 depending on Registration by client feat: use client encoding (but always expect JSON) 2025-10-09T10:25:23Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T10:25:23Z urn:sha1:3050ae41c4e74b8bfa12aca31ab3af4c83ac5379 refactor: extract function 2025-10-09T10:02:02Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T10:02:02Z urn:sha1:2ce91997535ebbdd7152435bc32f360e60542522 feat: work with Value at generation and convert later 2025-10-09T09:57:50Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T09:57:50Z urn:sha1:ed4b4863df6f56949edf86115c606f021237c651 feat: add AST representation choice for registration 2025-10-09T09:38:46Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T09:36:32Z urn:sha1:65afa24d40811218168531d25999572c0e17d21d feat: serve /static directory 2025-10-09T09:11:10Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T09:11:10Z urn:sha1:a5688c7449ad02934df6bf8c253cad32c6c1e349 useful to keep help instructions around