Skip to content

Commit c5f7b1a

Browse files
committed
deploy: dee9276
1 parent 44332e9 commit c5f7b1a

File tree

145 files changed

+454
-11
lines changed

Some content is hidden

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

145 files changed

+454
-11
lines changed

404.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Page Not Found (404)" />
13+
<meta property="og:image" content="img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

blog/Update-about-sustainability-program.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Update About Sustainability Program" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

blog/algebraic-api-design.html

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,14 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Algebraic API Design - Types, Functions, Properties" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

15-
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.28/dist/katex.min.css" integrity="sha384-Wsr4Nh3yrvMf2KCebJchRJoVo1gTU6kcP05uRSh5NV3sj9+a8IomuJoQzf3sMq4T" crossorigin="anonymous">
18+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.28/dist/katex.min.css"
19+
integrity="sha384-Wsr4Nh3yrvMf2KCebJchRJoVo1gTU6kcP05uRSh5NV3sj9+a8IomuJoQzf3sMq4T" crossorigin="anonymous">
1620

1721

1822
<link rel="stylesheet" href="../main.css">

blog/announcement-summit.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Announcement: Typelevel Summits coming up in 2016" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Call For Code of Conduct Committee Members" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Call for Steering Committee Members" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

blog/cats-1.0-mf.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Announcement: cats 1.0.0-MF" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

blog/cats-1.0.0.html

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Announcement: cats 1.0.0" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Cats Ecosystem Community Survey 2018 Results" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@
99
<link rel="icon" href="../img/favicon.svg" type="image/svg+xml">
1010
<link rel="apple-touch-icon" href="../img/apple-touch-icon.png">
1111

12+
<meta property="og:title" content="Chain – Replacing the List Monoid" />
13+
<meta property="og:image" content="../img/logo.png" />
14+
1215
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Fira+Mono:500">
1316

1417

0 commit comments

Comments
 (0)