Commit c499396c authored by J H's avatar J H

Update docs

parent dcf6ac63
......@@ -10,9 +10,14 @@ There are two documents that explain what Dexter is and how to use it:
- [Informal Specification of Dexter](./docs/dexter-informal-specification.md)
- [How to use Dexter via the command line](./docs/dexter-cli.md)
There are two versions of the Dexter implementation. One in ligo for development
There are two versions of the Dexter implementation. One in Ligo for development
and experimentation and one in morley for optimization. The implementation in
morley is the version for use on the mainnet.
Morley is the definitive version for use on the mainnet and follows a formal
specification. The Ligo version should not be used on mainnet.
Nomadic Labs has written a formal specification and a [proof](https://gitlab.com/nomadic-labs/mi-cho-coq/-/merge_requests/71)
that the Michelson contract output by the [Morley](./morley) implementation
satisfies this specification.
Before originating a Dexter exchange contract for an FA1.2 contract on the
mainnet, prepare the [Token integration checklist](./docs/token-integration.md)
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment