Does opetopic actually work?
Opened this issue · 0 comments
turion commented
I'm playing around with opetopic and it seems that simple operations such as deleting cells, the "+" sign (to add/extrude cells?) marking cells as universal or equivalences don't work. Without a tutorial it's hard to actually find all this functionality.