Cardano is a blockchain platform that is built in the secure Haskell programming language. The platform features decentralized applications and contracts that operate at low cost in a secure and scalable way.
Proof
Source