Description: Tezos developer resources
smart-contract (289) tezos (104) functional programming (94) xtz (48) ocaml (44) tez (29) tezzie (22) michelson (11) smartcontracting (2)
Michelson [programming langauge] is an open-source resource introduced in the Tezos Whitepaper (2014) . Michelson is a powerful functional programming language designed for Tezos smart-contract development. Its forward thinking innovations bring Tezos smart-contracts an unmatched level of precision and efficiency, whilst offering a potent vehicle for formal verification.
Join the Tezos Developer Slack
Join Tezos Stack Exchange