Sam Crawford
Sam Crawford
What's the status of this? It seems to be blocking samm82#44. If we constrain the dimensions to integers, the type for compound could be represented as $\mathbb{N}^{118}$; otherwise, if we...
No worries! I might take a crack at it then 🤙🏼
Just a note that I've been working in this on the [`lengthForVectMat`](https://github.com/JacquesCarette/Drasil/tree/lengthForVectMat) branch, testing it on my fork in the [`compDefAsVector`](https://github.com/samm82/Drasil/tree/compDefAsVector) branch. I'm able to store the dimension of a...
_Note that I haven't touched `Array` yet_ This is how I've implemented the dimensions for the spaces themselves: https://github.com/JacquesCarette/Drasil/blob/5ef55a46ccc6eb90f7805f00a5802b6be4bf4b34/code/drasil-lang/lib/Language/Drasil/Space.hs#L39-L41 and here's how I've implemented printing their dimensions in the SRS:...
This may be related to your first point about querying the length of arrays in GOOL: we currently have an [issue](https://github.com/JacquesCarette/Drasil/issues/3135) open for allowing the dimensions of vectors and matrices...
I think even expanding the Template example to generate the CAS 741 template will provide a better overview of what the document is and how to think about filling it...
I _knew_ there was something about Python and Makefiles that I was forgetting - thanks!
What's the rationale for removing the [newcomers](https://github.com/JacquesCarette/Drasil/labels/newcomers) label from this issue? I feel like a newcomer could take a look and at least propose some new names? Just happened upon...
Knowing the relationship between these chunk types would help inform this discussion: for example, if `ConstrainedChunk` builds off of `ConceptChunk`, then perhaps `ConstrainedIdea` would be a more consistent/descriptive name. Similar...
That's definitely an idea (pun unintended) 🤔 I personally think there is a distinction between a pure "idea" and a "quantity" (as I think you've alluded to before) that we...