2 ms·

Thanks, that clarifies it for me. I was making the mistake of looking at OCaml as the implementation language for the two languages, Rust and Coq, and overlooki

by eggy 10y ago

Thanks, that clarifies it for me. I was making the mistake of looking at OCaml as the implementation language for the two languages, Rust and Coq, and overlooking the abstractions built on top. Yes, isomorphic, but not identical.