summaryrefslogtreecommitdiff
path: root/_layouts/computation.html
diff options
context:
space:
mode:
Diffstat (limited to '_layouts/computation.html')
-rw-r--r--_layouts/computation.html32
1 files changed, 16 insertions, 16 deletions
diff --git a/_layouts/computation.html b/_layouts/computation.html
index c95b07b..e4b54db 100644
--- a/_layouts/computation.html
+++ b/_layouts/computation.html
@@ -7,26 +7,26 @@ layout: default
</h1>
<div>
<nav>
- <a href="/wiki/mathematics">mathematics</a>
- <a href="/wiki/linguistics">linguistics</a>
- <b><a href="/wiki/computation">computation</a></b>
- <a href="/wiki/ctf">ctf</a>
+ <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="/wiki/computation/syntax">syntax</a>
- <a href="/wiki/computation/semantics">semantics</a>
- <a href="/wiki/computation/compilers">compilers</a>
+ <a href="/computation/syntax">syntax</a>
+ <a href="/computation/semantics">semantics</a>
+ <a href="/computation/compilers">compilers</a>
<br>
- <a href="/wiki/computation/types">types</a>
- <a href="/wiki/computation/modules">modules</a>
- <a href="/wiki/computation/monads">monads</a>
- <a href="/wiki/computation/effects">effects</a>
- <a href="/wiki/computation/continuations">continuations</a>
+ <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="/wiki/computation/lambda-calculus">lambda calculus</a>
- <a href="/wiki/computation/memory-management">memory management</a>
- <a href="/wiki/computation/networking">networking</a>
- <a href="/wiki/computation/paradigms">paradigms</a>
+ <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>
</nav>
</div>
</header>