search

runtimeverification / michelson-semantics

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

Fix a typo: structrual -> structural #342

Closed amelieled closed 2 years ago

amelieled commented 2 years ago

This solves the issue #341