.. Elpi documentation master file, created by
   sphinx-quickstart on Thu Jun 16 10:59:15 2022.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Elpi's documentation!
================================

.. .. toctree:
..    :maxdepth: 2
..    :caption: Contents:
.. 
..    about
..    playground

.. toctree::
   :maxdepth: 2
   :caption: API:
   
   elpi <elpi/index.html#http://>
   elpi-option-legacy-parser <elpi-option-legacy-parser/index.html#http://>

