============
souffle-lint
============

A linter for `Soufflé Datalog <souffle_>`_. See :doc:`install` and :doc:`usage`
to get started.

Source available `on Github <src_>`_.

.. toctree::
   :hidden:
   :caption: User Guide

   categories
   config
   contributing
   changelog
   install
   usage
   writing

.. toctree::
   :hidden:
   :caption: Developer Guide

   build
   dev

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

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

.. _souffle: https://souffle-lang.github.io/index.html
.. _tree-sitter queries: https://tree-sitter.github.io/tree-sitter/using-parsers#query-syntax
.. _tree-sitter-souffle: https://github.com/langston-barrett/tree-sitter-souffle/
.. _src: https://github.com/langston-barrett/souffle-lint