lambda-nantes/lambda-calcul/rust/src/ast.rs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/rust/src/ast.rs?h=main2025-10-13T07:18:10Zupdate from workshop 2bis2025-10-13T07:18:10ZArnaud Baillyarnaud@pankzsoft.com2025-10-13T07:18:10Zurn:sha1:21befc8c8ab2e91632f5341b4fa9425cf3c815fffeat: introduce arrow types2025-10-09T14:06:24ZArnaud Baillyarnaud@pankzsoft.com2025-10-09T14:06:24Zurn:sha1:68d05695856709ee1c251e496fb5b79a17134dbcfeat: can type Bools and Syms2025-10-09T13:43:41ZArnaud Baillyarnaud@pankzsoft.com2025-10-09T13:43:41Zurn:sha1:ecb4c59eb89a01ee2dea6495f6287cd0709ce403feat: introduce typing of expressions2025-10-09T13:21:49ZArnaud Baillyarnaud@pankzsoft.com2025-10-09T13:21:49Zurn:sha1:5719458b477e05a60b323ba3bb910432b36d30d7chore: check JSON representation of Value2025-10-09T09:29:14ZArnaud Baillyarnaud@pankzsoft.com2025-10-09T09:29:14Zurn:sha1:15843b3ded81699e33f956d78f58bc73dcd87eeeMove λ-calcul workshop code to subdirectory2025-01-25T09:45:41ZArnaud Baillyarnaud.bailly@iohk.io2025-01-25T09:45:41Zurn:sha1:7752d73216578d5961751b5d0535088d384b4aa6