A user's guide and reference manual for the Pact smart contract language - View it on GitHub