balacij

The edited line counts are heavily skewed up because of the .dot files.

Thank you for the detailed analysis! It certainly clears things up for me. Considering what you said regarding the names differing between projects, I wonder if we can merge the...

In the context of #2883, I wonder if an alternative option is to only rewrite the encoding of TMs/GDs/IMs (not DDs) to use "Theory Presentations" under the hood. Then, we...

What symbols belong in the "Table of Symbols" of the SRS document? Is +/- infinite something we want to put in it? Should all functions be displayed as the invLaplace...

That makes more sense to me. Thank you! It's also interesting to think about how we could systematically retrieve information about the mathematical background knowledge. That seems it would need...

I believe that with #2873, this should be very easy to do (and is a good example of what a "system requirement" could be as per #2883). We can do...

Unfortunately, I'm struggling with finding a suitable entry point for #2885 to "get the ball rolling." Would it be alright if I started instead by forcibly pushing the `drasil-lang`-related "utils"...

> Which gives it the ability to overwrite a lower-levelled chunk's NP when I don't think it should. This is very relevant to #2388. It makes certain chunks unreachable (overwritten...

> Right now they are short, but I always thought they might 'morph' into something much more structured than just a String, as the need arose. I can definitely see...

I think that just 1 special character is enough, meaning that whatever it's tagged to was derived from some chain of things. For example, `a►b►c` would mean that `c` was...