Michelson | the language of Tezos

Michelson [programming langauge] is an open-source resource introduced by L.M Goodman in the Tezos Whitepaper (2014).

The Tezos blockchain project has been introducing a brand new programming language to the world called Michelson — an incredible functional programming language designed for Tezos smart-contract development. Its forward thinking innovations bring Tezos smart-contracts an unmatched level of precision and efficiency, as well as a potent vehicle for formal verification. 

Contact Us

More to come. Are we missing anything? Have Questions? Comments?

©2019 Michelson.org — All rights reserved. A Production of TOMI (Tezos OCaml Michelson Institute), Los Angeles, California. USA