https://raw.githack.com/marcinjangrzybowski/cubeViz/master/main.html#assocAlt,pentB https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m... Visual edit

https://raw.githack.com/marcinjangrzybowski/cubeViz/master/main.html#assocAlt,pentB https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m... Visual editor for cubical-agda code, currently I am rewriting it in haskell and integrating with emacs. New version will allow to edit code in 3 and 4 dimensions :)