Skip to content

Change input language to JSON

Raphaël Cauderlier requested to merge rafoo@json_input into master

The Michelson interactive reference uses JSON as intermediate format. This MR uses the part dealing with types of this JSON file and extends it with extra information needed to generate the protocol GADT for types.

Depends on !2 (merged) and !3 (merged).

Merge request reports