Liquidity

Liquidity，针对 Tezos 智能合约编程的高级语言，完全类型化的函数式语言，使用 OCaml 语法，并严格遵守 Michelson 安全约定，正制定一个正式的核查框架。

Liquidity 特征：任何可以用 Michelson 编写的，都可以用 Liquidity 写成；局部变量值可以存储在局部变量中;；可定义和使用加权类型、记录类型等等。

用 Liquidity 编写的智能合约，可以在当前的主网和 zeronet 上提交。