balacij
balacij
Fine for now, but I think the better change would be to rename `const` in our classes to something else. Too much danger. _Originally posted by @JacquesCarette in https://github.com/JacquesCarette/Drasil/pull/2969#pullrequestreview-956561840_ Any...
The CFF files use a YAML encoding of [metadata](https://github.com/citation-file-format/citation-file-format/blob/main/schema-guide.md#valid-keys=) about the software project. So, in order for us to do this, it would be good to make a YAML v1.2...
> No, it doesn't have to be String. Thinking about it, it should indeed be implementation-level symbol. Well spotted! _Originally posted by @JacquesCarette in https://github.com/JacquesCarette/Drasil/pull/2952#discussion_r835765944_ The discussion originates from the...
I'm currently working on defining the typing rules of the expression language (and related things). I've created a [stub file from my main thesis that contains just the typing rules](https://github.com/JacquesCarette/Drasil/blob/jasonWriting/People/Jason/thesis/chapters/typing/rules_stub.pdf)....
## Understanding the existing `ModelKinds` design Taking a look at our existing ModelKinds definition: https://github.com/JacquesCarette/Drasil/blob/0ea1e82231c83ae999b58cfc871d85fbbcaa3ef3/code/drasil-theory/lib/Theory/Drasil/ModelKinds.hs#L33-L38 We have a type variable "e", which we place "Expr" or "ModelExpr" in. I believe...
> This kind of hack strongly tells me that we need to revamp our `UID` implementation to something more structured. I know MMT uses URIs for doing something similar. I...
[`shellcheck`](https://www.shellcheck.net/) is a nice tool we can use to audit our `scripts/*.sh` scripts. It is very similar to HLint, in that it audits the scripts and suggests improvements.
Posting this issue as a snippet of discussions from Dr. Carette and I. > is there an issue associated with FunctionCall? This seems to need real design too. _From @JacquesCarette_...
As per the title, `EquationalConstraints` expressions should somehow find their way into code generation, specifically for generating tests/assertions.
Relates to #2873 and #2896 ## Example: Sentences Looking at how we bring _the symbol of things that have symbols_ into the Sentence language: https://github.com/JacquesCarette/Drasil/blob/c00990e67f1072c0ae5b34847d0d8ff7c452af71/code/drasil-lang/lib/Language/Drasil/Sentence.hs#L83-L86 We assume that the UID...