.. _cookbook-index:

Cookbook
========

The cookbook provides common recipes for common patterns and applications in Idris 2.

.. toctree::
   :maxdepth: 1

   parsing
