Cardano Inches Toward Smart Contract Implementation with New Paper

via Cointelegraph.com News https://ift.tt/312QP6Z

Cardano reveals the formal model of its smart contracts, but mainnet release date remains uncertain