.. Haskell documentation master file, created by
   sphinx-quickstart on Fri Mar  8 01:20:55 2024.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Alfred's Textbook !
===================================

.. toctree::
   :maxdepth: 2
   :caption: 目录:

   haskell/index
   logicInCS/index
   type theory/index