Comment by TofuLover

Is this just "Rust with dependent types"? Not saying that as a criticism, I think this is genuinely useful.