ericfinster/opetopic

Does opetopic actually work?

Opened this issue · 0 comments

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.