Table of contents Overview From VM to IM Build Getting Started Your First Anoma App Define a Resource Write a Transaction Function Write a Projection Function Run your App Anoma App Examples SimpleCounter LEARN Overview Key Terms State Model Model Comparison Resource Machine Information Flow Control Resources Resource Object Resource Logic Transactions Transaction Object Actions Intents Cross-chain Transactions Applications Backend Interface Services Indexing Solving Further Resources Overview Juvix Installation Steps Install Juvix Write a Juvix Project Configure a Juvix Package