This is the sophia compiler for the æternity system which compiles contracts written in sophia to FATE instructions.

The compiler is currently being used three places

• The command line compiler
• The HTTP compiler
• In æternity node tests

• Introduction
• Syntax
• Features
• Standard library
• Contract examples
• Contributing

Additionally you can check out the contracts section of the æternity blockchain specification.

Versioning should follow the semantic versioning guidelines. Id est, given a version number MAJOR.MINOR.PATCH, increment the:

• MAJOR version when you make incompatible API changes
• MINOR version when you add functionality in a backwards compatible manner
• PATCH version when you make backwards compatible bug fixes

The basic modules for interfacing the compiler:

• aeso_compiler: the Sophia compiler
• aeso_aci: the ACI interface