balacij

Yes, of course! `QuantityDict`s are used as representations of "symbols"/"variables". They are, essentially, records containing a name, space, stage-dependent symbol, and _maybe_ a unit. https://github.com/JacquesCarette/Drasil/blob/21904c715546944d36e75a4ca91c710d92e98149/code/drasil-lang/lib/Language/Drasil/Chunk/Quantity.hs#L22-L33 `DefinedQuantityDicts` are variants that are...

@smiths Thank you! 1. The current way appears to link to the source code through the Haddock documentation, which has a small "# Source" button the right-hand side of Haskell...

We had a discussion about this in the meeting today as well. One thing I neglected to mention about the "full piggybacking" solution is that the solution relies on #2873,...

Thank you very much! Regarding the "state of the practice" and "bidirectional typing", do you have any recommended reads regarding it? Is it something we should be interested in? The...

I don't remember what from the meeting today reminded me of this ticket, but something did. Another possible way to wrap the "block long expressions" (long expressions that aren't inlined)...

Ah, I think that was it. Thank you! The fraction is an issue for it. In some sort of an unconventional printing style, we could use a normal `÷` symbol...

I like `let ... in ...` syntax too. It's a nice way to name subexpressions, and we wouldn't need to continuously expand to the right as we add more definitions....

I imagine it would be fine, just being mindful of the variable names to avoid collisions. I've usually seen them merged together however, which I think would improve readability. For...

Re-writing them now.

I will send them over along with the rest of Chapter 7.