diff --git a/README.md b/README.md index f4f9555..a7c982c 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,11 @@ # aesophia -This is the __sophia__ compiler for the æternity system which compiles contracts written in __sophia__ code to the æternity VM code. - -It is an OTP application written in Erlang and is by default included in -[the æternity node](https://github.com/aeternity/epoch). However, it can -also be included in other systems to compile contracts coded in sophia which -can then be loaded into the æternity system. +This is the __sophia__ compiler for the æternity system which compiles contracts written in __sophia__ to [FATE](https://github.com/aeternity/protocol/blob/master/contracts/fate.md) instructions. +The compiler is currently being used three places + - [The command line compiler](https://github.com/aeternity/aesophia_cli) + - [The HTTP compiler](https://github.com/aeternity/aesophia_http) + - In [Aeternity node](https://github.com/aeternity/aeternity) tests ## Documentation @@ -14,7 +13,6 @@ can then be loaded into the æternity system. * [Sophia Documentation](docs/sophia.md). * [Sophia Standard Library](docs/sophia_stdlib.md). - ## Versioning `aesophia` has a version that is only loosely connected to the version of the @@ -23,7 +21,6 @@ minor/patch version. The `aesophia` compiler version MUST be bumped whenever there is a change in how byte code is generated, but it MAY also be bumped upon API changes etc. - ## Interface Modules The basic modules for interfacing the compiler: