Jacques Carette
Jacques Carette
The core issue is that we need to teach Drasil some stuff about the architecture of the codes we want to generate. We can do it statically (via putting things...
(@daijingz Jason will eventually answer you, but he's got important deadlines right now, so he is ignoring the Drasil repo for this week).
> Drasil does not allow us to say that, we cannot have 2 different concepts with the same symbol. Can you point out the code that disallows that? It is...
So you are somewhat misinterpreting what's going on. It's not that Drasil disallows duplication of symbols, it is that in the context of an SRS about a single piece of...
Furthermore I think we need to further dis-entangle display and meaning. It should be okay to elide the `(t)` in `v(t)` in many settings. This will force us to make...
Yes, it is tangentially related to #3430 in that the larger topic is "what should be in an introduction?"
The question remains: are there useful things in this PR (not in the abstract - we know this goes in a positive direction - but in the concrete code) that...
Indeed, given @hrzhuang 's recent work this might be moot. Ricky, could you take a serious look at the original issue and the PR and see?
So does it seem worth resurrecting, or is it not worth it in its current state (so we should close it)?
Now that #3473 has been merged, this Issue is now blocking wrt moving forward on this project.