balacij

In the context of #2371, our existing DEModel just contains a RelationConcept inside of it, but I _think_ we want it to be something different since we want to remove...

Just noted this ticket to @cd155 on Teams.

Small note from our meeting: On the LaTeX side, this is done for us by the compiler. For the HTML side, since we already use the figure tags, we might...

This theory is imported from SWHS. Would you want these changes to also affect SWHS? If we do, it might just add a bit of extra time spent working to...

That sounds like a good plan. I will write out the grammar right now. Regarding the difficulties, I can see what you mean -- it is too close to Haskell,...

Okay, I've posted an [idealized version of the existing syntax](https://github.com/JacquesCarette/Drasil/blob/jasonWriting/People/Jason/thesis/chapters/typing/rules_stub.pdf) in approximately the same style as the "Practical Foundations for Programming Langauges" book. EDIT: Unfortunately, the link is a 404...

I posted this ticket just a bit early. I will add some extra discussion (as comments) later today/tomorrow about the following: 1. Relation to #2599 (e.g. less duplicate code, and...

A variant of this might be well-paired with #2873. Though, I think we can close this ticket, unless there's anything directly salvageable right now.

I was going to make a new ticket regarding the existing type parameter in ModelKinds, but then I remembered this issue. I didn't finish the ticket completely, but here's the...

Perhaps the [Types and Typeclasses](https://github.com/JacquesCarette/Drasil/wiki/Types-and-Typeclasses-in-Drasil) page? Right now, that page is primarily a list of types, but we can retrofit it a bit to contain the more meaningful discussion of...