Skip to main content

Browse the archive

Revision 0bd9ea379fd7d2b79a42ce12501ea09e44fc89f6 authored by Julien Coolen on 13 March 2023, 11:06:18 UTC, committed by Julien Coolen on 13 March 2023, 11:06:18 UTC 
WIP
1 parent e4362b1
Raw File
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