Switching on a comparison result has nothing to do with dependent typing. You can do this in Rust, where dependent typing has barely left the planning stages, l

Switching on a comparison result has nothing to do with dependent typing. You can do this in Rust, where dependent typing has barely left the planning stages, last I checked.