Ricky Zhuang

Is there a reason why `AuxConsProg` uses a `CI` instead of a type class constraint like `NamedIdea`?

So the problem here is that `AuxConsProg` constructs a `AuxConstntSec`, which is used in `DocSection`. If we use a type class like `NamedIdea` for the first argument of `AuxConsProg`, then...

Another "abuse" of `commonIdea` is the smart constructors `dcc'` and `dccWDS'` for `CommonConcept`. I suppose if `CI`s should always have a non-empty list of domains, then that list of domains...

I think there is a distinction to be made here between "constant" and "variable that is not to be mutated." Examples of the former include mathematical and scientific constants such...

Thank for @balacij for the clarification! I understand that my notions of "true constant" and "immutable variable" are the same on a technical level, but the distinction I'm trying to...