jamievicary
jamievicary
Visual Studio Code now has a "Remote-WSL" feature, which should in principle allow remote debugging of programs built on Windows Subsystem Linux. Is ocamlearlybird compatible with this? I have not...
I've got this working, but when I want to build manually I still need to write "nix-shell" in the terminal by hand, it seems. Could this not be done automatically...
In 3d mode, braidings of scalars should be rendered as over- or under-crossings appropriately, but they are currently rendered as intersecting wires.
A percentage indicator would be great, but even just a static "Computing 3d data..." message in the middle of the viewing area would be useful.
The plan is to do this with with Three.js. I anticipate the following major technical challenges: - Devising the layout algorithm, probably by generalizing the current 2d algorithm - Working...
The Type VI homotopy move is sometimes triggered nonlocally to the place that you click. I cannot yet reliably reproduce it, but an offending workspace that seems to regularly give...
This should create a new cell with the same source and target of the chosen cell. Suggested by Ed Morehouse.
Allow the user to choose to invert various coordinates, e.g. to allow top-to-bottom diagrams rather than bottom-to-top, or left-to-right diagrams rather than right-to-left.