search

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 8 forks source link

The attribute structrual #341

Open amelieled opened 2 years ago

amelieled commented 2 years ago

In the file michelson-semantics/michelson.md, someone can read:

rule {}                 => .K      [structrual]

Do you mean structural?

sskeirik commented 2 years ago

Yes, that was misspelled. Feel free to file a PR that corrects this (or any other typos) and I will approve it.

amelieled commented 2 years ago

Done! (No any other typos in the K semantic, I think).