Generating OCaml From Michelson Types

Tue, 23 Jun 2020 13:00:42 -0400

Statically typed interaction between smart contracts and application