Programming Language
=============================

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   HKT.rst
   typeclass.rst
   paper-reading-LHKP.rst
   HKT-typeclass-FSharp.rst
   plfp-20191212.rst
   plfp-20191219.rst
   elaborating-julia
   tagless-final-pattern-match
   tagless-final-for-julia
   hrt-use-case