4 ms·
That's what Tezos is doing, using OCaml for their smart contracts.
by daraosn 9y ago
That's what Tezos is doing, using OCaml for their smart contracts.
- dbrgn 9y agoActually they use OCaml for the blockchain implementation and their own functional and provable language "Michelson" for smart contracts. Fun fact: Michelson was the guy that disproved aether :)