Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
julianpeeters committed Mar 23, 2024
1 parent a88c18f commit ef2eadc
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@ Based on the polynomial functors described in [Niu and Spivak](https://topos.sit
- mermaid integration (optional)

```scala
"com.julianpeeters" %% "polynomial" % "0.5.0" // required
"com.julianpeeters" %% "polynomial-mermaid" % "0.5.0" // optional
"com.julianpeeters" %% "polynomial" % "0.6.0" // required
"com.julianpeeters" %% "polynomial-mermaid" % "0.6.0" // optional
```

---
Expand Down Expand Up @@ -73,7 +73,7 @@ import polynomial.morphism.~>
type F[Y] = (Interface[Byte, Char, _] ~> Interface[Byte, Char, _])[Y]

val M: Mermaid[F] = summon[Mermaid[F]]
// M: Mermaid[F] = polynomial.mermaid.Mermaid$$anon$3@3b6728e1
// M: Mermaid[F] = polynomial.mermaid.Mermaid$$anon$3@49cbc7e8

println(M.showGraph(graphFmt = Format.Generic))
// ```mermaid
Expand Down

0 comments on commit ef2eadc

Please sign in to comment.