summaryrefslogtreecommitdiff
path: root/soplt.html
diff options
context:
space:
mode:
Diffstat (limited to 'soplt.html')
-rw-r--r--soplt.html17
1 files changed, 10 insertions, 7 deletions
diff --git a/soplt.html b/soplt.html
index 0835c4b..a80c81e 100644
--- a/soplt.html
+++ b/soplt.html
@@ -2,14 +2,13 @@
<html>
<head>
<title>Summer of PLT</title>
+ <meta property="article:published_time" content="2026-05-10">
<link rel="stylesheet" href="prose.css">
<script src="article.js"></script>
</head>
<body>
- <div class="content">
- <h1 id="title">Summer of PLT</h1>
- <p class="comment">published May 10, 2026</p>
- <hr>
+ <article>
+ <header></header>
<p>Looking for a summer coding project? Try making a programming language!</p>
<p>I think that every programmer, new or experienced, could benefit from understanding a little bit about how the languages they use daily actually work.</p>
@@ -17,6 +16,8 @@
<p>I'm planning on doing something similar this summer, so I figured I'd invite other people to try a 'Summer of PLT' too.</p>
<p class="comment">Disclaimer: I'm just a guy with no formal education in PLT. Like <a href="https://danilafe.com/blog/i_love_programming_languages">Daniel Fedorin said</a>, I just <em>love the field of programming languages</em>.</p>
+ <div id="toc"></div>
+
<h2 id="read">Read a Book</h2>
<p>
If you're new to the field of programming languages, my first piece of advice is to read Crafting Interpreters!
@@ -87,8 +88,10 @@
<h2 id="contact">Contact</h2>
<p>Did I interest you in a 'Summer of PLT'? Let me know! I'd love to see some toy lisps this summer!</p>
- <hr>
- <p class="comment">Discuss on <a href="https://news.ycombinator.com/item?id=48087351">Hacker news</a> or <a href="https://bsky.app/profile/cwilliams1221.bsky.social/post/3mljk2zarjc2h">Bluesky</a></p>
- </div>
+ <footer>
+ <hr>
+ <p class="comment">Discuss on <a href="https://news.ycombinator.com/item?id=48087351">Hacker news</a> or <a href="https://bsky.app/profile/cwilliams1221.bsky.social/post/3mljk2zarjc2h">Bluesky</a></p>
+ </footer>
+ </article>
</body>
</html> \ No newline at end of file