Skip to content

Commit 248543f

Browse files
committed
Deploying to gh-pages from @ 64a79be 🚀
1 parent e348551 commit 248543f

File tree

17 files changed

+481
-86
lines changed

17 files changed

+481
-86
lines changed

404.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -36,8 +36,8 @@
3636
<script src="/site_libs/quarto-html/tippy.umd.min.js"></script>
3737
<script src="/site_libs/quarto-html/anchor.min.js"></script>
3838
<link href="/site_libs/quarto-html/tippy.css" rel="stylesheet">
39-
<link href="/site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
40-
<link href="/site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
39+
<link href="/site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
40+
<link href="/site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4141
<script src="/site_libs/bootstrap/bootstrap.min.js"></script>
4242
<link href="/site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4343
<link href="/site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -37,8 +37,8 @@
3737
<script src="site_libs/quarto-html/tippy.umd.min.js"></script>
3838
<script src="site_libs/quarto-html/anchor.min.js"></script>
3939
<link href="site_libs/quarto-html/tippy.css" rel="stylesheet">
40-
<link href="site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
41-
<link href="site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
40+
<link href="site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
41+
<link href="site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4242
<script src="site_libs/bootstrap/bootstrap.min.js"></script>
4343
<link href="site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4444
<link href="site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

library/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -36,8 +36,8 @@
3636
<script src="../site_libs/quarto-html/tippy.umd.min.js"></script>
3737
<script src="../site_libs/quarto-html/anchor.min.js"></script>
3838
<link href="../site_libs/quarto-html/tippy.css" rel="stylesheet">
39-
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
40-
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
39+
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
40+
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4141
<script src="../site_libs/bootstrap/bootstrap.min.js"></script>
4242
<link href="../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4343
<link href="../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

news/index.html

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -38,8 +38,8 @@
3838
<script src="../site_libs/quarto-html/tippy.umd.min.js"></script>
3939
<script src="../site_libs/quarto-html/anchor.min.js"></script>
4040
<link href="../site_libs/quarto-html/tippy.css" rel="stylesheet">
41-
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
42-
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
41+
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
42+
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4343
<script src="../site_libs/bootstrap/bootstrap.min.js"></script>
4444
<link href="../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4545
<link href="../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
@@ -273,7 +273,7 @@ <h5 class="quarto-listing-category-title">Categories</h5><div class="quarto-list
273273
</div>
274274
</div>
275275
<div class="list quarto-listing-default">
276-
<div class="quarto-post image-right" data-index="0" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1645056000000" data-listing-file-modified-sort="1734876294327" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="5" data-listing-word-count-sort="883">
276+
<div class="quarto-post image-right" data-index="0" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1645056000000" data-listing-file-modified-sort="1736473467034" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="5" data-listing-word-count-sort="883">
277277
<div class="thumbnail">
278278
<p><a href="../news/posts/2022-02-17-gsoc/index.html" class="no-external"></a></p><a href="../news/posts/2022-02-17-gsoc/index.html" class="no-external">
279279
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
@@ -309,7 +309,7 @@ <h3 class="no-anchor listing-title">
309309
</a>
310310
</div>
311311
</div>
312-
<div class="quarto-post image-right" data-index="1" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1612915200000" data-listing-file-modified-sort="1734876294327" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="3" data-listing-word-count-sort="565">
312+
<div class="quarto-post image-right" data-index="1" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1612915200000" data-listing-file-modified-sort="1736473467034" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="3" data-listing-word-count-sort="565">
313313
<div class="thumbnail">
314314
<p><a href="../news/posts/2021-02-04-gsoc/index.html" class="no-external"></a></p><a href="../news/posts/2021-02-04-gsoc/index.html" class="no-external">
315315
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
@@ -345,7 +345,7 @@ <h3 class="no-anchor listing-title">
345345
</a>
346346
</div>
347347
</div>
348-
<div class="quarto-post image-right" data-index="2" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1599782400000" data-listing-file-modified-sort="1734876294326" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="2" data-listing-word-count-sort="331">
348+
<div class="quarto-post image-right" data-index="2" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1599782400000" data-listing-file-modified-sort="1736473467034" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="2" data-listing-word-count-sort="331">
349349
<div class="thumbnail">
350350
<p><a href="../news/posts/2020-09-11-gsoc/index.html" class="no-external"></a></p><a href="../news/posts/2020-09-11-gsoc/index.html" class="no-external">
351351
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
@@ -381,7 +381,7 @@ <h3 class="no-anchor listing-title">
381381
</a>
382382
</div>
383383
</div>
384-
<div class="quarto-post image-right" data-index="3" data-categories="UmVzZWFyY2g=" data-listing-date-sort="1589414400000" data-listing-file-modified-sort="1734876294326" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="6" data-listing-word-count-sort="1041">
384+
<div class="quarto-post image-right" data-index="3" data-categories="UmVzZWFyY2g=" data-listing-date-sort="1589414400000" data-listing-file-modified-sort="1736473467034" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="6" data-listing-word-count-sort="1041">
385385
<div class="thumbnail">
386386
<p><a href="../news/posts/2020-05-04-Imperial-Report13-analysis/index.html" class="no-external"></a></p><a href="../news/posts/2020-05-04-Imperial-Report13-analysis/index.html" class="no-external">
387387
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
@@ -414,7 +414,7 @@ <h3 class="no-anchor listing-title">
414414
</a>
415415
</div>
416416
</div>
417-
<div class="quarto-post image-right" data-index="4" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1581465600000" data-listing-file-modified-sort="1734876294321" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="5" data-listing-word-count-sort="945">
417+
<div class="quarto-post image-right" data-index="4" data-categories="QmxvZyUyQ0dTb0M=" data-listing-date-sort="1581465600000" data-listing-file-modified-sort="1736473467030" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="5" data-listing-word-count-sort="945">
418418
<div class="thumbnail">
419419
<p><a href="../news/posts/2020-02-12-jsoc/index.html" class="no-external"></a></p><a href="../news/posts/2020-02-12-jsoc/index.html" class="no-external">
420420
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>
@@ -450,7 +450,7 @@ <h3 class="no-anchor listing-title">
450450
</a>
451451
</div>
452452
</div>
453-
<div class="quarto-post image-right" data-index="5" data-categories="QmxvZw==" data-listing-date-sort="1576281600000" data-listing-file-modified-sort="1734876294320" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="1" data-listing-word-count-sort="68">
453+
<div class="quarto-post image-right" data-index="5" data-categories="QmxvZw==" data-listing-date-sort="1576281600000" data-listing-file-modified-sort="1736473467030" data-listing-date-modified-sort="NaN" data-listing-reading-time-sort="1" data-listing-word-count-sort="68">
454454
<div class="thumbnail">
455455
<p><a href="../news/posts/2019-12-14-initial-post/index.html" class="no-external"></a></p><a href="../news/posts/2019-12-14-initial-post/index.html" class="no-external">
456456
<div class="listing-item-img-placeholder card-img-top" >&nbsp;</div>

news/index.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<link>https://turinglang.org/news/</link>
1010
<atom:link href="https://turinglang.org/news/index.xml" rel="self" type="application/rss+xml"/>
1111
<description></description>
12-
<generator>quarto-1.6.39</generator>
12+
<generator>quarto-1.6.40</generator>
1313
<lastBuildDate>Thu, 17 Feb 2022 00:00:00 GMT</lastBuildDate>
1414
<item>
1515
<title>Google Summer of Code 2022</title>

news/posts/2019-12-14-initial-post/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -39,8 +39,8 @@
3939
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
4040
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
4141
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
42-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
42+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4444
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
4545
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4646
<link href="../../../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

news/posts/2020-02-12-jsoc/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -39,8 +39,8 @@
3939
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
4040
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
4141
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
42-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
42+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4444
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
4545
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4646
<link href="../../../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

news/posts/2020-05-04-Imperial-Report13-analysis/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -45,8 +45,8 @@
4545
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
4646
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
4747
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
48-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
49-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
48+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
49+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
5050
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
5151
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
5252
<link href="../../../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

news/posts/2020-09-11-gsoc/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.6.39">
5+
<meta name="generator" content="quarto-1.6.40">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -39,8 +39,8 @@
3939
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
4040
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
4141
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
42-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-e26003cea8cd680ca0c55a263523d882.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d166b450ba5a8e9f7a0ab969bf6592c1.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
42+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-549806ee2085284f45b00abea8c6df48.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
43+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8ea72dc5fed832574809a9c94082fbbb.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
4444
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
4545
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
4646
<link href="../../../site_libs/bootstrap/bootstrap-f7d47109ef0af74e1bd0de52084fb680.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">

0 commit comments

Comments
 (0)