Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Hi Anonymous,
am just on my phone here, I don’t have the leisure to go carefully through all these additions, but superficially it can easily look a little redundant.
Probably the usual process of internalization produces much of this “pre-“mathematics? Not each notion that can be produced by the internalization machine necessarily needs its own entry, there are just too many.
Therefore, if you could give some indication on where you are headed with the pre-yoga, that might be useful to know.
If you are not intending to go anywhere in particular, then maybe we could pause the production of pre-entries, take stock of those you already created, and see what these could be good for.
1 to 5 of 5