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?