search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

existential block is confusingly displayed #106

Open rogpeppe opened 5 years ago

rogpeppe commented 5 years ago

The existential block is displayed in my browser like this:

image

After some pondering, I think the inner part of the block should show P(c) and Q, and we're seeing some overlaid text, but that's not clear from the display, and without any additional explanatory text, it's hard to know how it's meant to work.

nomeata commented 5 years ago

You can expand the block; the initial width is indeed unfortunate and could be fixed.

rogpeppe commented 5 years ago

I don't believe it's possible to expand the block in-place, although it can be dragged onto the canvas and expanded there (although then you need to drag out some connectors to see what the function of the block is).