.. Liquidity documentation master file, created by
   sphinx-quickstart on Tue Aug 14 12:54:10 2018.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

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.

.. toctree::
   :maxdepth: 3
   :caption: Liquidity Documentation
   :glob:

   introduction
   installation/index
   usage/index
   reference/liquidity
   tutorial/tutorial
   tutorial/examples
   man/index
   reference/michelson_to_liquidity
   reference/grammar

.. toctree::
..   :maxdepth: 2
..   :caption: The Online Editor:
..
..   liq-edit/editor

.. toctree::
   :maxdepth: 1
   :caption: Michelson

   reference/michelson


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`