diff options
| author | Matej Kosik | 2015-10-29 11:24:16 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 74ac7196c9f141c786500fcef10a86a08d79f2e7 (patch) | |
| tree | c911e267a2d032f9f38f440ce35fc8f2d8cce7e8 | |
| parent | 47c235b94e8870043deb04b65aad08eac8f7ae3e (diff) | |
COMMENT: question
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index 38e7db18e5..9db8c8328b 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -98,6 +98,8 @@ inconsistency} error (see also Section~\ref{PrintingUniverses}). % - explain why it arised % - how can a user identify the "vicious cycle". +% QUESTION: Is the presentation of universes as totally ordered a necessary or advantageous step? + %% HH: This looks to me more like source of confusion than helpful %% \subsection{Constants} |