Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions _posts/2024-01-23-scrapscript.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
title: "scrapscript.py"
layout: post
date: 2024-01-23
series: scrapscript
---

[Scrapscript](https://scrapscript.org/) is a small, pure, functional,
Expand Down
1 change: 1 addition & 0 deletions _posts/2024-06-01-scrapscript-baseline.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
title: "A baseline scrapscript compiler"
layout: post
date: 2024-06-01
series: scrapscript
---

[Scrapscript](https://scrapscript.org/) is a small, pure, functional,
Expand Down
1 change: 1 addition & 0 deletions _posts/2024-07-10-scrapscript-tricks.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
title: "Some tricks from the Scrapscript compiler"
layout: post
date: 2024-07-10
series: scrapscript
---

[Scrapscript](https://scrapscript.org/) is a small, pure, functional,
Expand Down
1 change: 1 addition & 0 deletions _posts/2024-10-15-type-inference.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
title: Damas-Hindley-Milner inference two ways
layout: post
co_authors: River Dillon Keefer
series: scrapscript
---

## What is Damas-Hindley-Milner?
Expand Down
1 change: 1 addition & 0 deletions _posts/2024-10-22-row-poly.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
---
title: Adding row polymorphism to Damas-Hindley-Milner
layout: post
series: scrapscript
---

## Intro to HM
Expand Down
11 changes: 11 additions & 0 deletions blog.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,17 @@ permalink: blog/
{% endfor %}
</ul>

## Scrapscript, the series
<ul>
{% assign posts_chrono = site.posts | where: "series","scrapscript" | reverse %}
{% for post in posts_chrono %}
<li class="post-item">
<a class="post-title" href="{{ post.url }}"><span>{{ post.title }}</span></a>
<div class="post-date"><i>{{ post.date | date: '%B %-d, %Y' }}</i></div>
</li>
{% endfor %}
</ul>

## Runtime optimization, the series
<ul>
{% assign posts_chrono = site.posts | where: "series","runtime-opt" | reverse %}
Expand Down