3 ms·
https://raw.githack.com/marcinjangrzybowski/cubeViz/master/main.html#assocAlt,pentB https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m...' Visual edi
by m_j_g 6y ago
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 :)