diff options
| author | Matej Kosik | 2015-10-29 11:29:31 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 4be3e5df62d42daf38d48d24d8917eff4ba64928 (patch) | |
| tree | 778b65dbaefdcf84afd6a0eb98fe3b256923ce83 /doc | |
| parent | cfc9e143ffc9ae3f3bee10eb91c86716e3d4eafb (diff) | |
COMMENT: question
Diffstat (limited to 'doc')
| -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} |