summaryrefslogtreecommitdiff
path: root/_layouts/foundations.html
diff options
context:
space:
mode:
authorJJ2023-11-25 10:08:46 +0000
committerJJ2023-11-25 10:08:46 +0000
commitd2f845d7982d305022f4313c0faa343ae11693ad (patch)
treee28bec672c028a0716ed6669e26c387fa9fa97cf /_layouts/foundations.html
parent384af43d4220eb93abe06668210c594923fb9a8c (diff)
meow
Diffstat (limited to '_layouts/foundations.html')
-rw-r--r--_layouts/foundations.html30
1 files changed, 30 insertions, 0 deletions
diff --git a/_layouts/foundations.html b/_layouts/foundations.html
new file mode 100644
index 0000000..77bb237
--- /dev/null
+++ b/_layouts/foundations.html
@@ -0,0 +1,30 @@
+---
+layout: default
+---
+<header>
+<h1>
+ <a href="https://apropos.codes">apropos</a>
+</h1>
+<div>
+ <nav>
+ <b><a href="/mathematics">mathematics</a></b>
+ <a href="/linguistics">linguistics</a>
+ <a href="/computation">computation</a>
+ <a href="/ctf">ctf</a>
+ </nav>
+ <nav>
+ <b><a href="/foundations">foundations</a></b>
+ <a href="/algebra">algebra</a>
+ <a href="/analysis">analysis</a>
+ </nav>
+ <nav>
+ <a href="/foundations/logic">logic</a>
+ <a href="/foundations/proof">proof</a>
+ <a href="/foundations/types">types</a>
+ <a href="/foundations/category-theory">category theory</a>
+ </nav>
+</div>
+</header>
+<main>
+{{ content }}
+</main>