diff options
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index b9f0ab9f53..39cf108439 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -100,6 +100,9 @@ inconsistency} error (see also Section~\ref{PrintingUniverses}). % QUESTION: Is the presentation of universes as totally ordered a necessary or advantageous step? +% QUESTION: Shouldn't the explanation of universes in this chapter +% be consolidatd with Chapter 29: Polymorphic Universes? + %% HH: This looks to me more like source of confusion than helpful %% \subsection{Constants} |