Welcome to Liquidity’s documentation!

Liquidity is a high-level statically-typed language to program Smart Contracts for Dune Network. It uses a subset of the syntax of OCaml, and strictly complies to Michelson security restrictions. It comes with a decompiler that can translate Michelson contracts to Liquidity, for auditing purposes.

Liquidity Documentation

Indices and tables