search

nomeata / incredible

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

Instruction about drawing connections #102

Closed alreadydone closed 5 years ago

alreadydone commented 5 years ago

When I first tried IPM a few months ago, I tried to fit the tip of one block into the dent of another, and didn't make any progress even on the very first problem (quite hilarious in hindsight), because I didn't realize that I need to connect the blocks. When I revisited it yesterday, I found out in a referenced paper what I am supposed to do. Since I am unlikely the only one to make this mistake, it would be the nice to just add Fig.1 in that paper to your instructions (shown by clicking "i" in the top-right corner on http://incredible.pm).

nomeata commented 5 years ago

Yeah, that UI problem has bit many. Do you want to provide a patch?

alreadydone commented 5 years ago

I'd like to but I am not sufficiently skilled in Javascript yet :)

alreadydone commented 5 years ago

OK, I see the popup info is in index.html, no javascript :) but with JS maybe one can do some animation. Instead of making a screenshot of the figure, maybe I'd just add a short notice that one needs to drag and drop to connect the dots.