Skip to main content

Browse the archive

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 
Dal/GS Worker: count the number of received prunes
1 parent 7a15377
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