balacij

@JacquesCarette Following up with discussion on https://github.com/JacquesCarette/Drasil/commit/ff34fe093b8898383232e2822f478a394243aef9#r52161989, the preface discussion of #2482 related to the `DiscreteS` and `DiscreteD` usage, #356, and https://github.com/JacquesCarette/Drasil/issues/2118 about `Enumeration`s and `Discrete` spaces. Currently, both of...

The information is displayed for them in places other than the constraints table, but it's using existing display hacks for them. Would you want a hack to have the information...

That's a great question! I think there are 2 real issues/ideas here that are different but highly related (`Enumerated` constraints and #2118) that might be a bit mixed together in...

Yes. Those 2 notes perfectly explain what we need. I think that 1 is _almost_ required for 2, or at least will create a better tooling/ecosystem for 2 to be...

It looks like there's only a ~~small~~ handful of things that we need to move from Expr to DisplayExpr/CodeExpr before we can get the basic/primitive typing started for Expr (without...

I know that we spent a lot of time separating the Unary & Binary constructors in Expr by their types, but I think now it would be interesting to see...

Taking a look at `Expr` right now... ```haskell -- | Drasil expressions. data Expr a where ``` ```haskell -- | Turns a decimal value ('Double') into an expression. Dbl ::...

Perhaps `RealI` should be renamed to `InRange`?

Sorry for the late reply. I'll need to spend a bit of time working with `Proxy` to understand how it will fix this, I'm not quite sure if I'm understanding...

I'm going to try to give a quick summary of the immediate Drasil-related problem at hand, in a point-form style, and then discuss some found solutions: ### Problem * Writing...