Reading through http://opetopic.net/docs/ shows that a lot of links on the right hand side don't work ("Conventions", "Tutorial"), and that several pages don't have footer links (e.g. http://opetopic.net/docs/theory/eqvs).
Reading through http://opetopic.net/docs/ shows that a lot of links on the right hand side don't work ("Conventions", "Tutorial"), and that several pages don't have footer links (e.g. http://opetopic.net/docs/theory/eqvs).