Skip to content

several more cases defined in values + Inductive typed_contract

only Map and Big_map left (Andrey's part of work) and issue 697 will be closed.

Merge request reports