diff options
author | JJ | 2024-01-05 02:37:28 +0000 |
---|---|---|
committer | JJ | 2024-01-05 02:37:28 +0000 |
commit | 439c5d3ef5fb8b8ebba28d45088d9b91db7418ac (patch) | |
tree | 279051b346a86c782b3b7ad3a954f1f8dab9bb54 /_layouts | |
parent | 5ffac59a93388e16e90dbdd1c4f68d6a2f2c057a (diff) |
meow
Diffstat (limited to '_layouts')
-rw-r--r-- | _layouts/computation.html | 18 | ||||
-rw-r--r-- | _layouts/ctf.html | 6 | ||||
-rw-r--r-- | _layouts/plt.html | 41 | ||||
-rw-r--r-- | _layouts/web.html | 31 |
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> |