Trouble running the client

[joliss]

I'm on master with #55 applied, and I'm running npm run dev in the client and core directory each. The client seems to load, but it's still somehow misbehaving. There's no error message, and I'm not sure what it's supposed to look like, but the best I've been able to achieve is get it to paint a single circle. It's like part of the UI is broken.

I made a screen recording: homotopy recording.mp4.zip

Do you have any idea what's going wrong? Is there anything I can do to help narrow down the issue?

[jamievicary]

Sorry about that Jo, the problem is that most of the UI is currently invisible. The additional commands are as follows:

• Source (s)
• Target (t)
• Clear (c)
• Identity (i)
• Theorem (h)
• Restrict (r)

We need to make these more visible, and that's the content of issue #53.

Here's what I recommend to get going and start building some cool stuff.

• Make a single 0-cell called "Cell 1"
• Click on the mini picture of "Cell 1" then press "s", then click on the mini picture of "Cell 1" then press "t". This creates a new 1-cell called "Cell 2".
• Click on the mini picture of "Cell 2" then press "s", then click on the mini picture of "Cell 2" then press "t". This creates a new 2-cell called "Cell 3".
• Click on the mini picture of "Cell 3", then click near the sides of the big picture to attach some wires, and click near the bottom or top of a wire to attach more vertices.
• Click-and-drag the vertices up and down to apply homotopies.

Let me know how you get on with that.

[joliss]

Yup, that helps a lot, thanks! I'm re-reading some of the HoTT book now to brush up on my intuition of what I expect to happen. 😊

[jamievicary]

Hi Jo, that's great! Let us know if you work out any interesting connections.