Skip to content

Commit bfc875d

Browse files
committed
deploy: c1d9d1a
1 parent 4dae530 commit bfc875d

File tree

3 files changed

+2
-2
lines changed

3 files changed

+2
-2
lines changed

colophon.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@
8787

8888
<div class="bulma-section bulma-content bulma-container bulma-is-max-desktop">
8989
<h1 id="colophon" class="title">Colophon</h1>
90-
<p>We build this website with our own tooling! It is statically generated with <a href="https://typelevel.org/Laika/">Laika</a>, a Typelevel project for transforming Markdown into HTML sites and e-books. The search bar is powered by <a href="https://cozydev-pink.github.io/protosearch/">Protosearch</a>, an in-memory search library with advanced querying features. Both projects use <a href="https://typelevel.org/cats/">Cats</a> and other Typelevel libraries.</p>
90+
<p>We build this website with our own Scala-based tooling! It is statically generated with <a href="https://typelevel.org/Laika/">Laika</a>, a Typelevel project for transforming Markdown into HTML sites and e-books. The search bar is powered by <a href="https://cozydev-pink.github.io/protosearch/">Protosearch</a>, an in-memory search library with advanced querying features. Both projects use <a href="https://typelevel.org/cats/">Cats</a> and other Typelevel libraries.</p>
9191
<p>UI components are provided by the <a href="https://bulma.io/">Bulma</a> CSS framework and icons by <a href="https://fontawesome.com/">Font Awesome</a>. Mathematical expressions are rendered during the build with <a href="https://katex.org/">KaTeX</a> running on <a href="https://www.graalvm.org/latest/reference-manual/js/">GraalJS</a>.</p>
9292
<p>Finally, all of this is brought together in a <a href="https://www.scala-lang.org/">Scala</a> script that we use to deploy to <a href="https://pages.github.com/">GitHub Pages</a>.</p>
9393
<p>If you encounter a problem with our website or have feedback, please open an issue on the <a href="https://github.com/typelevel/typelevel.github.com">repository</a>. We also welcome contributions!</p>

index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,7 @@ <h2 class="bulma-subtitle bulma-is-3 bulma-is-size-4-mobile">
103103
<section class="bulma-hero bulma-is-primary bulma-has-text-light">
104104
<div class="bulma-hero-body">
105105
<p class="bulma-is-size-4 bulma-has-text-weight-medium">
106-
Typelevel is an ecosystem of projects and a community of people united to foster an inclusive, welcoming, and safe
106+
Typelevel is an ecosystem of Scala-based projects and a community of people united to foster an inclusive, welcoming, and safe
107107
environment around functional programming.
108108
</p>
109109
</div>

search/searchIndex.idx

33 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)