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.
More to come. Are we missing anything? Have Questions? Comments?