> Well, that's exactly kind of people you to attract to write your security-sensitive code. Unsurprisingly, Tezos is actually written by OCaml people who seem

> Well, that's exactly kind of people you to attract to write your security-sensitive code. Unsurprisingly, Tezos is actually written by OCaml people who seem to value the correctness of the contract language.