Compact reference

📄️ Formal grammar

📄️ Explicit disclosure

Introduction

📄️ Compact reference

Compact is a strongly statically typed, bounded smart contract language, designed to be