/opetopes-idris

Opetopes in idris

Primary LanguageIdris

Once again..

TODO:

  • Opetopes and Faces should be on sets, not lists (comparing requires sorting)
  • In theory, we can compare ProdFaces on == just by looking at p1 and p2
  • SHOULD THERE REALLY BE SORT IN comparing opetopes and faces?