.. Stainless documentation master file, created by
   sphinx-quickstart on Fri Feb 27 13:23:31 2015.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Stainless documentation
=======================

Contents:

.. toctree::
   :maxdepth: 2

   intro
   gettingstarted
   installation
   tutorial
   purescala
   library
   imperative
   verification
   neon
   limitations
   options
   smartcontracts
   faq
   references
   internals

* :ref:`search`