.. cse116 documentation master file, created by
   sphinx-quickstart on Tue Oct  1 15:51:04 2019.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to cse116's documentation!
==================================

.. toctree::
   :maxdepth: 5
   :caption: Contents:

   lambdacalc
   haskell
   datatypesrecursion
   hof
   envclose
   theorems
   polytypes
   typeclasses
   monads



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

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