Simplicity is live on Liquid - a high assurance smart contract language designed for Bitcoin-like blockchains with formal verification at its core. Want to learn how to write Simplicity programs? ...