---
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>
    <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>
  </nav>
</div>
</header>
<main>
{{ content }}
</main>