Liquidity introduction
Liquidity, a high-level language for Tezos smart contract programming, fully typed functional language, uses OCaml syntax, and strictly adheres to Michelson security conventions, is developing a formal verification framework. Liquidity features: anything that can be written in Michelson, can be written in Liquidity; local variable values can be stored in local variables;; weighted types, record types, etc. can be defined and used. Smart contracts written in Liquidity can be submitted on the current mainnet and zeronet.