Saturday, March 17, 2018

Liquidity



Liquidity is a high-level typed language for Tezos that strictly complies to Michelson security restrictions. A formal verification framework for it is under development. Liquidity is a high-level language to program Smart Contracts for Tezos.

No comments:

How can you work with a JSON value if you know nothing about it?

I have talked about the difficulty of typing certain JSON values coming from some APIs. The JSON is just very complicated. When I do that,...