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:

The Y Combinator (Slight Return)

Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell hims...