From ed8c2d6b56655f1a362f7683b9da3ac521920a42 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sun, 19 May 2024 20:04:59 -0700
Subject: meow

---
 plt/index.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'plt/index.md')

diff --git a/plt/index.md b/plt/index.md
index 8cd6a05..2f5da20 100644
--- a/plt/index.md
+++ b/plt/index.md
@@ -3,4 +3,30 @@ layout: plt
 title: programming language theory
 ---
 
+<br>
+<br>
+<br>
+<br>
+<br>
+
 # programming language theory
+
+constructs
+- [types](types)
+- [continuations](continuations)
+- [effects](effects)
+- [modules](modules)
+- monads
+
+formalisms
+- syntax
+- semantics
+- formal verification
+- paradigms
+
+computation
+- propositions as types
+- [the lambda calculus](lambda-calculus)
+- turing machines
+- [interaction nets](interaction-nets)
+- combinators
-- 
cgit v1.2.3-70-g09d2