Revision 615087ebf8dce836fa5a8963af1f977984ab31b1 authored by iguerNL@Functori on 30 October 2023, 13:40:22 UTC, committed by Marge Bot on 03 November 2023, 12:57:04 UTC
1 parent 7a15377
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.
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...