balacij
balacij
To be clear, this issue extends to the other case studies as well. Any solution that affects GlassBR should cascade to the other examples.
Pausing work on this until #4489 has resolved.
Latest force-push is for rebasing atop `main`.
We should be able to remove https://github.com/JacquesCarette/Drasil/blob/main/code/drasil-printers/lib/Language/Drasil/Debug/Print.hs in favour of a more generic approach similar to the one we take in this PR.
Disclaimer: I'm not the most familiar with the individual combinators. Skimming through the page... Some of these things are outdated because @JacquesCarette changed how noun phrases are constructed. The introduction...
One solution to all of this is to split up `drasil-printers`. The rendering code for each language would move somewhere closer to the definition of said data types. We might...
I finished the work, and I've also marked the PR as "ready for review" so that the CI can run. However, the PR is not quite "ready to merge" because...
> How many QDefinitions do we have? I think we need to look at all of them, to see what knowledge we're trying to capture with them. That's really going...
> [I have no idea why you're talking about 'approximation' above.] Trying to explain why I was talking about 'approximation' shows me that I was just confused. We can safely...
> I think part of the issue is that we don't know what the Quantity constraint means. Does it mean "is a quantity"? Or does it mean "represents a quantity"?...