From fa1e6f75ceb4f2a99dc1c107bfe60434356cfe19 Mon Sep 17 00:00:00 2001
From: JJ
Date: Tue, 20 Feb 2024 17:28:49 -0800
Subject: meow

---
 _layouts/plt.html | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to '_layouts/plt.html')

diff --git a/_layouts/plt.html b/_layouts/plt.html
index 463950c..2a8ae15 100644
--- a/_layouts/plt.html
+++ b/_layouts/plt.html
@@ -16,24 +16,6 @@ layout: default
     <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>
-- 
cgit v1.2.3-70-g09d2