1 files changed, 41 insertions, 0 deletions
diff --git a/_layouts/plt.html b/_layouts/plt.html
new file mode 100644
index 0000000..463950c
--- /dev/null
+++ b/_layouts/plt.html
@@ -0,0 +1,41 @@
+---
+layout: default
+---
+<header>
+<h1>
+  <a href="https://apropos.codes">apropos</a>
+</h1>
+<div>
+  <nav>
+    <a href="/mathematics">mathematics</a>
+    <a href="/linguistics">linguistics</a>
+    <b><a href="/computation">computation</a></b>
+  </nav>
+  <nav>
+    <a href="/ctf">ctf</a>
+    <b><a href="/plt">plt</a></b>
+    <a href="/web">web</a>
+  </nav>
+  <nav>
+    <a href="/plt/compilers">compilers</a>
+    <a href="/plt/syntax">syntax</a>
+    <a href="/plt/semantics">semantics</a>
+    <a href="/plt/pragmatics">pragmatics</a>
+    <br>
+    <a href="/plt/types">types</a>
+    <a href="/plt/modules">modules</a>
+    <a href="/plt/monads">monads</a>
+    <a href="/plt/continuations">continuations</a>
+    <a href="/plt/effects">effects</a>
+    <br>
+    <a href="/plt/lambda-calculus">lambda calculus</a>
+    <a href="/plt/memory-management">memory management</a>
+    <a href="/plt/paradigms">paradigms</a>
+    <a href="/plt/patterns">patterns</a>
+    <a href="/plt/written-language">written-language</a>
+  </nav>
+</div>
+</header>
+<main>
+{{ content }}
+</main>