Skip to content

Commit ce016b1

Browse files
committed
deploy: 8ceefc6
1 parent 7893de1 commit ce016b1

113 files changed

Lines changed: 1130 additions & 383 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

blog/algebraic-api-design.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -595,13 +595,13 @@ <h2 id="resources" class="section"><a class="anchor-link" href="#resources"><svg
595595

596596
<div class="bulma-cell">
597597
<article class="bulma-media">
598-
599598
<figure class="bulma-media-left">
600599
<p class="bulma-image bulma-is-64x64">
600+
601601
<img class="bulma-is-rounded" src="https://github.com/battermann.png" />
602+
602603
</p>
603604
</figure>
604-
605605
<div class="bulma-media-content">
606606
<div class="bulma-content">
607607
<p>
@@ -625,6 +625,7 @@ <h2 id="resources" class="section"><a class="anchor-link" href="#resources"><svg
625625

626626

627627

628+
628629
</div>
629630
</nav>
630631
</div>

blog/announcement-summit.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -147,13 +147,13 @@ <h3 id="call-for-speakers-attendance-faqs" class="section"><a class="anchor-link
147147

148148
<div class="bulma-cell">
149149
<article class="bulma-media">
150-
151150
<figure class="bulma-media-left">
152151
<p class="bulma-image bulma-is-64x64">
152+
153153
<img class="bulma-is-rounded" src="https://github.com/larsrh.png" />
154+
154155
</p>
155156
</figure>
156-
157157
<div class="bulma-media-content">
158158
<div class="bulma-content">
159159
<p>
@@ -177,6 +177,7 @@ <h3 id="call-for-speakers-attendance-faqs" class="section"><a class="anchor-link
177177

178178

179179

180+
180181
</div>
181182
</nav>
182183
</div>

blog/call-for-code-of-conduct-committee-members.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -131,13 +131,13 @@ <h2 id="applying" class="section"><a class="anchor-link" href="#applying"><svg x
131131

132132
<div class="bulma-cell">
133133
<article class="bulma-media">
134-
135134
<figure class="bulma-media-left">
136135
<p class="bulma-image bulma-is-64x64">
136+
137137
<img class="bulma-is-rounded" src="https://github.com/typelevel-bot.png" />
138+
138139
</p>
139140
</figure>
140-
141141
<div class="bulma-media-content">
142142
<div class="bulma-content">
143143
<p>
@@ -172,6 +172,7 @@ <h2 id="applying" class="section"><a class="anchor-link" href="#applying"><svg x
172172
</a>
173173

174174

175+
175176
</div>
176177
</nav>
177178
</div>

blog/call-for-steering-committee-members.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -162,13 +162,13 @@ <h2 id="applying" class="section"><a class="anchor-link" href="#applying"><svg x
162162

163163
<div class="bulma-cell">
164164
<article class="bulma-media">
165-
166165
<figure class="bulma-media-left">
167166
<p class="bulma-image bulma-is-64x64">
167+
168168
<img class="bulma-is-rounded" src="https://github.com/typelevel-bot.png" />
169+
169170
</p>
170171
</figure>
171-
172172
<div class="bulma-media-content">
173173
<div class="bulma-content">
174174
<p>
@@ -203,6 +203,7 @@ <h2 id="applying" class="section"><a class="anchor-link" href="#applying"><svg x
203203
</a>
204204

205205

206+
206207
</div>
207208
</nav>
208209
</div>

blog/cats-1.0-mf.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,13 +189,13 @@ <h3 id="credits" class="section"><a class="anchor-link" href="#credits"><svg xml
189189

190190
<div class="bulma-cell">
191191
<article class="bulma-media">
192-
193192
<figure class="bulma-media-left">
194193
<p class="bulma-image bulma-is-64x64">
194+
195195
<img class="bulma-is-rounded" src="https://github.com/kailuowang.png" />
196+
196197
</p>
197198
</figure>
198-
199199
<div class="bulma-media-content">
200200
<div class="bulma-content">
201201
<p>
@@ -219,6 +219,7 @@ <h3 id="credits" class="section"><a class="anchor-link" href="#credits"><svg xml
219219

220220

221221

222+
222223
</div>
223224
</nav>
224225
</div>

blog/cats-1.0.0.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -126,13 +126,13 @@ <h2 id="community" class="section"><a class="anchor-link" href="#community"><svg
126126

127127
<div class="bulma-cell">
128128
<article class="bulma-media">
129-
130129
<figure class="bulma-media-left">
131130
<p class="bulma-image bulma-is-64x64">
131+
132132
<img class="bulma-is-rounded" src="https://github.com/kailuowang.png" />
133+
133134
</p>
134135
</figure>
135-
136136
<div class="bulma-media-content">
137137
<div class="bulma-content">
138138
<p>
@@ -156,6 +156,7 @@ <h2 id="community" class="section"><a class="anchor-link" href="#community"><svg
156156

157157

158158

159+
159160
</div>
160161
</nav>
161162
</div>

blog/cats-ecosystem-community-survey-results.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -268,13 +268,13 @@ <h4 id="we-received-many-kind-words-here-we-can-t-list-all-of-them-but-here-are-
268268

269269
<div class="bulma-cell">
270270
<article class="bulma-media">
271-
272271
<figure class="bulma-media-left">
273272
<p class="bulma-image bulma-is-64x64">
273+
274274
<img class="bulma-is-rounded" src="https://github.com/kailuowang.png" />
275+
275276
</p>
276277
</figure>
277-
278278
<div class="bulma-media-content">
279279
<div class="bulma-content">
280280
<p>
@@ -298,6 +298,7 @@ <h4 id="we-received-many-kind-words-here-we-can-t-list-all-of-them-but-here-are-
298298

299299

300300

301+
301302
</div>
302303
</nav>
303304
</div>

blog/chain-replacing-the-list-monoid.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -148,13 +148,13 @@ <h1 id="chain-replacing-the-list-monoid" class="title">Chain – Replacing the L
148148

149149
<div class="bulma-cell">
150150
<article class="bulma-media">
151-
152151
<figure class="bulma-media-left">
153152
<p class="bulma-image bulma-is-64x64">
153+
154154
<img class="bulma-is-rounded" src="https://github.com/LukaJCB.png" />
155+
155156
</p>
156157
</figure>
157-
158158
<div class="bulma-media-content">
159159
<div class="bulma-content">
160160
<p>
@@ -181,6 +181,7 @@ <h1 id="chain-replacing-the-list-monoid" class="title">Chain – Replacing the L
181181

182182

183183

184+
184185
</div>
185186
</nav>
186187
</div>

blog/change-values.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -537,13 +537,13 @@ <h2 id="the-dangers-of-missing-values" class="section"><a class="anchor-link" hr
537537

538538
<div class="bulma-cell">
539539
<article class="bulma-media">
540-
541540
<figure class="bulma-media-left">
542541
<p class="bulma-image bulma-is-64x64">
542+
543543
<img class="bulma-is-rounded" src="https://github.com/S11001001.png" />
544+
544545
</p>
545546
</figure>
546-
547547
<div class="bulma-media-content">
548548
<div class="bulma-content">
549549
<p>
@@ -567,6 +567,7 @@ <h2 id="the-dangers-of-missing-values" class="section"><a class="anchor-link" hr
567567

568568

569569

570+
570571
</div>
571572
</nav>
572573
</div>

blog/charity.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -135,13 +135,13 @@ <h2 id="what-s-next" class="section"><a class="anchor-link" href="#what-s-next">
135135

136136
<div class="bulma-cell">
137137
<article class="bulma-media">
138-
139138
<figure class="bulma-media-left">
140139
<p class="bulma-image bulma-is-64x64">
140+
141141
<img class="bulma-is-rounded" src="https://github.com/typelevel.png" />
142+
142143
</p>
143144
</figure>
144-
145145
<div class="bulma-media-content">
146146
<div class="bulma-content">
147147
<p>
@@ -184,6 +184,7 @@ <h2 id="what-s-next" class="section"><a class="anchor-link" href="#what-s-next">
184184
<span class="bulma-icon bulma-is-small"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><!--! Font Awesome Free 7.2.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License) Copyright 2026 Fonticons, Inc. --><path fill="currentColor" d="M416 32L31.9 32C14.3 32 0 46.5 0 64.3L0 447.7C0 465.5 14.3 480 31.9 480L416 480c17.6 0 32-14.5 32-32.3l0-383.4C448 46.5 433.6 32 416 32zM135.4 416l-66.4 0 0-213.8 66.5 0 0 213.8-.1 0zM102.2 96a38.5 38.5 0 1 1 0 77 38.5 38.5 0 1 1 0-77zM384.3 416l-66.4 0 0-104c0-24.8-.5-56.7-34.5-56.7-34.6 0-39.9 27-39.9 54.9l0 105.8-66.4 0 0-213.8 63.7 0 0 29.2 .9 0c8.9-16.8 30.6-34.5 62.9-34.5 67.2 0 79.7 44.3 79.7 101.9l0 117.2z"/></svg></span>
185185
</a>
186186

187+
187188
</div>
188189
</nav>
189190
</div>

0 commit comments

Comments
 (0)