Michelson is a domain-specific programming language used on the Tezos blockchain to write smart contracts.