diff options
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> |