.. 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
   installation
   gettingstarted
   tutorial
   options
   verification
   laws
   imperative
   equivalence
   ghost
   wrap
   purescala
   library
   genc
   neon
   limitations
   casestudies
   coq
   faq
   references
   internals

* :ref:`search`