Comment by agumonkey

I wonder how similar this linear logic is to other linear types language such as Rust, or the GHC paper recently shown here too.