summaryrefslogtreecommitdiff
path: root/_layouts
diff options
context:
space:
mode:
authorJJ2024-01-05 02:37:28 +0000
committerJJ2024-01-05 02:37:28 +0000
commit439c5d3ef5fb8b8ebba28d45088d9b91db7418ac (patch)
tree279051b346a86c782b3b7ad3a954f1f8dab9bb54 /_layouts
parent5ffac59a93388e16e90dbdd1c4f68d6a2f2c057a (diff)
meow
Diffstat (limited to '_layouts')
-rw-r--r--_layouts/computation.html18
-rw-r--r--_layouts/ctf.html6
-rw-r--r--_layouts/plt.html41
-rw-r--r--_layouts/web.html31
4 files changed, 80 insertions, 16 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>
diff --git a/_layouts/ctf.html b/_layouts/ctf.html
index bd9b2dd..0286880 100644
--- a/_layouts/ctf.html
+++ b/_layouts/ctf.html
@@ -9,8 +9,12 @@ layout: default
<nav>
<a href="/mathematics">mathematics</a>
<a href="/linguistics">linguistics</a>
- <a href="/computation">computation</a>
+ <b><a href="/computation">computation</a></b>
+ </nav>
+ <nav>
<b><a href="/ctf">ctf</a></b>
+ <a href="/plt">plt</a>
+ <a href="/software">software</a>
</nav>
<nav>
<a href="/ctf/rev">rev</a>
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>
diff --git a/_layouts/web.html b/_layouts/web.html
new file mode 100644
index 0000000..2079d24
--- /dev/null
+++ b/_layouts/web.html
@@ -0,0 +1,31 @@
+---
+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>
+ <a href="/plt">plt</a>
+ <b><a href="/web">web</a></b>
+ </nav>
+ <nav>
+ <a href="/web/css">css</a>
+ <a href="/web/tailwind">tailwind</a>
+ <a href="/web/html">html</a>
+ <a href="/web/htmx">htmx</a>
+ <a href="/web/markdown">markdown</a>
+ <a href="/web/networking">networking</a>
+ </nav>
+</div>
+</header>
+<main>
+{{ content }}
+</main>