balacij

There is a bit of sharing in the `SglPend -> DblPend` direction, and some common sharing from `drasil-data`, similar to the other examples. ```console drasil-example/sglpend/lib/Drasil/SglPend/Goals.hs 13: import Drasil.DblPend.Concepts (rod) drasil-example/sglpend/lib/Drasil/SglPend/Assumptions.hs...

@smiths is probably best to answer this. Though, should this get merged as an example in #4321 ? The text after the `:` was all removed now (as part of...

The alternative design mentioned in (2) has one pro over the existing code in the PR: we can have two instances for any chunk. For example, one that directs to...

Examples that might help us: Theories: ```haskell -- | These are internal-to-Drasil common ideas, and need to be defined at the -- same time as theories. dataDefn, genDefn, inModel, thModel...

Ok, I think we're getting somewhere with this after our recent in-person meeting, specifically where we discussed that at each step in the IDP/Drasil architecture, there can be different buckets...

I'll re-open this issue. If we agree with the above, we can figure out coding tasks. If we don't, we can just close the issue again. Aside: if the above...

The `conceptChunkTable` was also removed in #4320. I think it's fine to leave that page as-is. The goal of the page is to show a few tricks on how to...

Similar to #4223's re-targetting, I re-targeted this PR to `vectorInteg` (i.e., #4223) so we can see the 'real' diff.

Does anyone remember how our discussion back in #4247 concluded w.r.t. to this PR?

Hmm, maybe this PR is superseded by #4261? https://github.com/JacquesCarette/Drasil/pull/4261/files#diff-538bbd015d7596d8b589b6a2553f2f629687b81debba60677e7dbad9a0f88638 (give it a minute to load, but it will bring you to stable/.../DblPend_SRS.html's diff)