Skip to content

Commit

Permalink
Futz with code formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
noelwelsh committed Aug 9, 2024
1 parent 5e4dc76 commit 375dba0
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/pages/indexed-types/codata.md
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ final class Html[S <: StructureState, T <: TitleState](
head: Vector[String],
body: Vector[String]
) {
// Head tags -------------------------------------------------------------
// Head tags ---------------------------------------------

def head(using S =:= Empty): Html[InHead, WithoutTitle] =
Html(head, body)
Expand All @@ -210,7 +210,7 @@ final class Html[S <: StructureState, T <: TitleState](
def link(rel: String, href: String)(using S =:= InHead): Html[InHead, T] =
Html(head :+ s"<link rel=\"$rel\" href=\"$href\"/>", body)

// Body tags -------------------------------------------------------------
// Body tags ---------------------------------------------

def body(using S =:= InHead, T =:= WithTitle): Html[InBody, WithTitle] =
Html(head, body)
Expand All @@ -221,7 +221,7 @@ final class Html[S <: StructureState, T <: TitleState](
def p(text: String)(using S =:= InBody): Html[InBody, T] =
Html(head, body :+ s"<p>$text</p>")

// Interpreter -----------------------------------------------------------
// Interpreter ------------------------------------------

override def toString(): String = {
val h = head.mkString(" <head>\n ", "\n ", "\n </head>")
Expand Down

0 comments on commit 375dba0

Please sign in to comment.