This folder contains an ott formalization of Michelson (in
[michelson.ott](michelson.ott)) and an accompanying meta-data file
documenting instructions and types of Michelson (in
[michelson-meta.yaml](michelson-meta.yaml)). The meta data file has a
JSON schema in the file
[michelson-meta-schema.json](michelson-meta-schema.json).

These files are used to generate the dynamic Michelson reference. See
[tezos/michelson-reference](https://gitlab.com/tezos/michelson-reference)
for more information.