3 ms·Rust lacks dependent typing, which advanced languages like Idris2 have.by pabs3 8mo agoRust lacks dependent typing, which advanced languages like Idris2 have.