Liquidity

Liquidity，針對 Tezos 智能合約編程的高級語言，完全類型化的函數式語言，使用 OCaml 語法，並嚴格遵守 Michelson 安全約定，正制定一個正式的核查框架。

Liquidity 特徵：任何可以用 Michelson 編寫的，都可以用 Liquidity 寫成；局部變量值可以存儲在局部變量中;；可定義和使用加權類型、記錄類型等等。

用 Liquidity 編寫的智能合約，可以在當前的主網和 zeronet 上提交。