← Back to context Comment by munchler 7 hours ago As a fan of the Curry-Howard correspondence, I approve of this decision. 2 comments munchler Reply SabrinaJewson 3 hours ago You’re going to hate when you learn that the never type is inhabited kibwen 2 hours ago I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...
SabrinaJewson 3 hours ago You’re going to hate when you learn that the never type is inhabited kibwen 2 hours ago I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...
kibwen 2 hours ago I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...
You’re going to hate when you learn that the never type is inhabited
I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...