From 4352cbc9df36c1c84bba51ce51a69be7a009d264 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sat, 25 Nov 2023 15:06:19 -0800
Subject: meow

---
 computation/continuations.md     | 2 +-
 computation/index.md             | 5 +++++
 computation/lambda-calculus.md   | 5 +++++
 computation/memory-management.md | 5 +++++
 computation/modules.md           | 5 +++++
 computation/networking.md        | 5 +++++
 computation/paradigms.md         | 5 +++++
 computation/semantics.md         | 5 +++++
 computation/syntax.md            | 7 +++++++
 computation/types.md             | 5 +++++
 10 files changed, 48 insertions(+), 1 deletion(-)

(limited to 'computation')

diff --git a/computation/continuations.md b/computation/continuations.md
index b2126f8..08017c5 100644
--- a/computation/continuations.md
+++ b/computation/continuations.md
@@ -1,6 +1,6 @@
 ---
 layout: computation
-title: computation/compilers
+title: computation/continuations
 ---
 
 # continuations
diff --git a/computation/index.md b/computation/index.md
index 9ac7e22..7c2765e 100644
--- a/computation/index.md
+++ b/computation/index.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation
+---
+
 # notes on computation and its consequences
 
 - [paradigms](paradigms)
diff --git a/computation/lambda-calculus.md b/computation/lambda-calculus.md
index 769b80d..78752db 100644
--- a/computation/lambda-calculus.md
+++ b/computation/lambda-calculus.md
@@ -1 +1,6 @@
+---
+layout: computation
+title: computation/lambda calculus
+---
+
 # the lambda calculus
diff --git a/computation/memory-management.md b/computation/memory-management.md
index b4dc8be..a2edadc 100644
--- a/computation/memory-management.md
+++ b/computation/memory-management.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/memory management
+---
+
 # memory management
 
 lobster
diff --git a/computation/modules.md b/computation/modules.md
index cde238c..be7b7e5 100644
--- a/computation/modules.md
+++ b/computation/modules.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/modules
+---
+
 # modules
 
 An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with:
diff --git a/computation/networking.md b/computation/networking.md
index 85c1b6b..e2cdccf 100644
--- a/computation/networking.md
+++ b/computation/networking.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/networking
+---
+
 # the networking layer of the internet
 
 ## routing: IP, DNS
diff --git a/computation/paradigms.md b/computation/paradigms.md
index e66a454..198a522 100644
--- a/computation/paradigms.md
+++ b/computation/paradigms.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/programming paradigms
+---
+
 # reflections on programming paradigms
 
 ## imperative programming
diff --git a/computation/semantics.md b/computation/semantics.md
index d854341..410d0ef 100644
--- a/computation/semantics.md
+++ b/computation/semantics.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/semantics
+---
+
 # formal semantics
 
 ## denotational semantics
diff --git a/computation/syntax.md b/computation/syntax.md
index 29e8c48..31b95a5 100644
--- a/computation/syntax.md
+++ b/computation/syntax.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/syntax
+---
+
 # syntax
 
 articles
@@ -11,6 +16,8 @@ books
 
 ebnf
 
+npegs
+
 ## lexing
 
 ## parsing
diff --git a/computation/types.md b/computation/types.md
index 2124175..7231f82 100644
--- a/computation/types.md
+++ b/computation/types.md
@@ -1,3 +1,8 @@
+---
+layout: computation
+title: computation/types
+---
+
 # types! ah, wonderous types!
 
 posts
-- 
cgit v1.2.3-70-g09d2