diff options
author | JJ | 2023-11-25 10:08:46 +0000 |
---|---|---|
committer | JJ | 2023-11-25 10:08:46 +0000 |
commit | d2f845d7982d305022f4313c0faa343ae11693ad (patch) | |
tree | e28bec672c028a0716ed6669e26c387fa9fa97cf /_layouts/foundations.html | |
parent | 384af43d4220eb93abe06668210c594923fb9a8c (diff) |
meow
Diffstat (limited to '_layouts/foundations.html')
-rw-r--r-- | _layouts/foundations.html | 30 |
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> |