Introduction to Scilla

Scilla is a functional programming language for writing smart contracts on the Zilliqa Blockchain. It is more friendly towards program analysis and formal verification which can help programmers make their smart contracts more secure.