lambda-nantes/lambda-calcul/rust/src/types.rs, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/rust/src/types.rs?h=main 2025-10-09T13:21:49Z feat: introduce typing of expressions 2025-10-09T13:21:49Z Arnaud Bailly arnaud@pankzsoft.com 2025-10-09T13:21:49Z urn:sha1:5719458b477e05a60b323ba3bb910432b36d30d7 feat: start working on typechecker 2025-07-06T18:30:06Z Arnaud Bailly arnaud@pankzsoft.com 2025-07-06T18:30:06Z urn:sha1:080a9cc14b9cbdb5a9c2338d21ae887402293818