search

ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
11 stars 4 forks source link

Cells should understand when their components have become well-defined later on #82

Open KevinDCarlson opened 1 month ago

KevinDCarlson commented 1 month ago

If you define something like

c -> d c d

then the c and d will keep the angry orange underline. But if you define

-> c d

and then update the blanks to c and d, there is no angry orange underline.

This is annoying in its own right; more broadly, I think we want to uphold a general principle that what the user sees should be a function solely of what's currently in the notebook, and not of the sequence of user interactions that produced it, right?

epatters commented 1 month ago

I think we want to uphold a general principle that what the user sees should be a function solely of what's currently in the notebook, and not of the sequence of user interactions that produced it, right?

Completely agreed. The model and its display should be a pure function of the content of the notebook at a given time.