1 files changed, 3 insertions, 15 deletions
diff --git a/_layouts/computation.html b/_layouts/computation.html
index e4b54db..094ef31 100644
--- a/_layouts/computation.html
+++ b/_layouts/computation.html
@@ -10,23 +10,11 @@ layout: default
     <a href="/mathematics">mathematics</a>
     <a href="/linguistics">linguistics</a>
     <b><a href="/computation">computation</a></b>
-    <a href="/ctf">ctf</a>
   </nav>
   <nav>
-    <a href="/computation/syntax">syntax</a>
-    <a href="/computation/semantics">semantics</a>
-    <a href="/computation/compilers">compilers</a>
-    <br>
-    <a href="/computation/types">types</a>
-    <a href="/computation/modules">modules</a>
-    <a href="/computation/monads">monads</a>
-    <a href="/computation/effects">effects</a>
-    <a href="/computation/continuations">continuations</a>
-    <br>
-    <a href="/computation/lambda-calculus">lambda calculus</a>
-    <a href="/computation/memory-management">memory management</a>
-    <a href="/computation/networking">networking</a>
-    <a href="/computation/paradigms">paradigms</a>
+    <a href="/ctf">ctf</a>
+    <a href="/plt">plt</a>
+    <a href="/web">web</a>
   </nav>
 </div>
 </header>