kernel/doc.tex


1
2
3
4
5
6
7
8
9


\section*{The Coq kernel}

\ocwsection 
This section describes the \Coq\ kernel, which is a type checker for the \CCI.

The modules of the kernel are organized as follows.

TODO