.. 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-option-legacy-parser