https://gitlab.com/tezos/tezos
Raw File
Tip revision: b9ed2154195a1fa549eaa60851ee787b832bfe48 authored by Nic Volanschi on 29 July 2022, 13:39:31 UTC
Apply 1 suggestion(s) to 1 file(s)
Tip revision: b9ed215
README.md
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.
back to top