Jon Sterling

Started 25 March 2023.

\begin{code}

{-# OPTIONS --safe --without-K #-}

module Cardinals.index where

import Cardinals.Type
import Cardinals.Preorder
import Cardinals.Successor

\end{code}