Update README

julianpeeters · Jan 17, 2024 · cb4dc1e · cb4dc1e
1 parent 69f1815
commit cb4dc1e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -34,8 +34,8 @@ import polynomial.morphism.~>
 import polynomial.product.{◁, ⊗}
 
 type `2y⁵¹²`           = Monomial.Interface[(Byte, Boolean), Boolean, _]
-type `y² + 2y`         = Binomial[Boolean, Unit, Unit, Boolean, _]
-type `y² + 2y + 1`     = Trinomial[Boolean, Unit, Unit, Boolean, Nothing, Unit, _]
+type `y² + 2y`         = Binomial.Interface[Boolean, Unit, Unit, Boolean, _]
+type `y² + 2y + 1`     = Trinomial.Interface[Boolean, Unit, Unit, Boolean, Nothing, Unit, _]
 type `2y²`             = Monomial.Store[Boolean, _]
 type `0`               = Monomial.Interface[Nothing, Nothing, _]
 type `1`               = Monomial.Interface[Unit, Unit, _]
@@ -79,7 +79,7 @@ import polynomial.morphism.~>
 type F[Y] = (Store[Boolean, _] ~> Interface[Byte, Char, _])[Y]
 
 val M: Mermaid[F] = summon[Mermaid[F]]
-// M: Mermaid[F] = polynomial.mermaid.Mermaid$$anon$1@c80206
+// M: Mermaid[F] = polynomial.mermaid.Mermaid$$anon$1@27d84903
 
 println(M.showGraph(graphFmt = Format.Specific))
 // ```mermaid

diff --git a/docs/readme.md b/docs/readme.md
@@ -34,8 +34,8 @@ import polynomial.morphism.~>
 import polynomial.product.{◁, ⊗}
 
 type `2y⁵¹²`           = Monomial.Interface[(Byte, Boolean), Boolean, _]
-type `y² + 2y`         = Binomial[Boolean, Unit, Unit, Boolean, _]
-type `y² + 2y + 1`     = Trinomial[Boolean, Unit, Unit, Boolean, Nothing, Unit, _]
+type `y² + 2y`         = Binomial.Interface[Boolean, Unit, Unit, Boolean, _]
+type `y² + 2y + 1`     = Trinomial.Interface[Boolean, Unit, Unit, Boolean, Nothing, Unit, _]
 type `2y²`             = Monomial.Store[Boolean, _]
 type `0`               = Monomial.Interface[Nothing, Nothing, _]
 type `1`               = Monomial.Interface[Unit, Unit, _]