Add diagrams and cleanup compiler

thealmarty · Nov 3, 2021 · d22972b · d22972b
1 parent 352cf41
commit d22972b
Show file tree

Hide file tree

Showing 36 changed files with 78 additions and 44 deletions.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -3,4 +3,5 @@ myst-parser
 sphinx_proof
 sphinxcontrib-tikz
 sphinxcontrib-bibtex
-sphinx-autobuild
+sphinx-autobuild
+rtd-tikz
diff --git a/docs/source/backends/berkeley-packet-filter.md b/docs/source/backends/berkeley-packet-filter.md
diff --git a/docs/source/backends/cuda.md b/docs/source/backends/cuda.md
diff --git a/docs/source/backends/evm.md b/docs/source/backends/evm.md
diff --git a/docs/source/backends/fpga.md b/docs/source/backends/fpga.md
diff --git a/docs/source/backends/fusion.md b/docs/source/backends/fusion.md
diff --git a/docs/source/backends/wasm.md b/docs/source/backends/wasm.md
diff --git a/docs/source/backends/circuit.md → docs/source/compiler/backends/circuit.md b/docs/source/backends/circuit.md → docs/source/compiler/backends/circuit.md
diff --git a/docs/source/backends/index.md → docs/source/compiler/backends/index.md b/docs/source/backends/index.md → docs/source/compiler/backends/index.md
@@ -22,18 +22,3 @@ circuit
 llvm
 michelson
 ```
-
-## Non-Supported Backends
-```{toctree}
----
-maxdepth: 1
----
-
-berkeley-packet-filter
-cuda
-evm
-fpga
-fusion
-wasm
-```
-
diff --git a/docs/source/backends/llvm.md → docs/source/compiler/backends/llvm.md b/docs/source/backends/llvm.md → docs/source/compiler/backends/llvm.md
diff --git a/docs/source/backends/michelson.md → docs/source/compiler/backends/michelson.md b/docs/source/backends/michelson.md → docs/source/compiler/backends/michelson.md
diff --git a/docs/source/core/core-language.md → docs/source/compiler/core/core-language.md b/docs/source/core/core-language.md → docs/source/compiler/core/core-language.md
diff --git a/docs/source/core/elementary-affine-core.md → ...e/compiler/core/elementary-affine-core.md b/docs/source/core/elementary-affine-core.md → ...e/compiler/core/elementary-affine-core.md
diff --git a/docs/source/core/erased-core-language.md → ...rce/compiler/core/erased-core-language.md b/docs/source/core/erased-core-language.md → ...rce/compiler/core/erased-core-language.md
diff --git a/docs/source/core/index.md → docs/source/compiler/core/index.md b/docs/source/core/index.md → docs/source/compiler/core/index.md
diff --git a/docs/source/core/termination-checking.md → ...rce/compiler/core/termination-checking.md b/docs/source/core/termination-checking.md → ...rce/compiler/core/termination-checking.md
diff --git a/docs/source/frontend/desugar.md → docs/source/compiler/frontend/desugar.md b/docs/source/frontend/desugar.md → docs/source/compiler/frontend/desugar.md
@@ -6,12 +6,15 @@ This phase is the direct manipulation of the S-expression construct we left off
 
 This function ([Desugar.op](https://github.com/anoma/juvix/blob/develop/library/Translate/src/Juvix/Desugar.hs))  desugars the frontend syntax from the original frontend s-exp representation to a form without modules, conditions, guards, etc. This pass thus does all transformations that do not requires a context.
 
-:::{figure-md} fig-target
+<!-- :::{figure-md} fig-target
 
 <img src="img/desugar.png" alt="desugar" class="bg-primary mb-1" width="600px">
 
 Desugar passes
-:::
+::: -->
+
+<!-- https://q.uiver.app/?q=WzAsMTcsWzAsNCwiXFx0ZXh0e0p1dml4IGZpbGV9Il0sWzUsNCwiXFx0ZXh0e1NlcmlhbGlzZWQgKEFTVCl9Il0sWzksNCwiXFx0ZXh0e0Rlc3VnYXJlZH0iXSxbNSwzLCJcXGJ1bGxldCJdLFsyLDQsIlxcdGV4dHtBU1R9Il0sWzUsMiwiXFxidWxsZXQiXSxbNSwxLCJcXGJ1bGxldCJdLFs1LDAsIlxcYnVsbGV0Il0sWzgsMCwiXFxidWxsZXQiXSxbOSwwLCJcXGJ1bGxldCJdLFs5LDEsIlxcYnVsbGV0Il0sWzksMiwiXFxidWxsZXQiXSxbOSwzLCJcXGJ1bGxldCJdLFswLDAsIlxcYnVsbGV0Il0sWzEsMCwiXFxidWxsZXQiXSxbMCwxLCJcXGJ1bGxldCJdLFsxLDEsIlxcYnVsbGV0Il0sWzEsMiwiZGVzdWdhciIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFsxLDMsIm1vZHVsZSBcXHRvIGZ1biIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs0LDEsInNlcmlhbGlzZVxcIHRvXFwgUy1leHAiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMCw0LCJwYXJzZSIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFszLDUsImxldFxcdGV4dHstfW1vZCBcXHRvIGxldCIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs2LDcsImlmIFxccmlnaHRhcnJvdyBjYXNlIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzcsOCwibGV0IFxcdG8gbGV0XFx0ZXh0ey19bWF0Y2giLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOSwxMCwiZGVmXFx0ZXh0ey19c2lnICsgZGVmdW5cXHRleHR7LX1tYXRjaCBcXHRvIGRlc2lnXFx0ZXh0ey19bWF0Y2ggICIsMix7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMCwxMSwicmVjb3JkIFxcdG8gcmVjb3JkXFx0ZXh0ey19bm9cXHRleHR7LX1wdW4iLDIseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOCw5LCJkZWZ1biAgXFx0byBkZWZ1blxcdGV4dHstfW1hdGNoIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzUsNiwiY29uZCBcXHRvIGlmIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzExLDEyLCJkZWZIYW5kbGVyIFxcdG8gZGVmXFx0ZXh0ey19aGFuZGxlciIsMix7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMywxNCwibWFpblxcIHN0ZXAiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMTUsMTYsInNlY29uZGFyeVxcIHN0ZXAiLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMTIsMiwiXFx0ZXh0aXR7cmVjb3JkLXN9IFxccmlnaHRhcnJvdyBcXHRleHRpdHtyZWNvcmQtdHl9IiwyLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV1d -->
+<iframe class="quiver-embed" src="https://q.uiver.app/?q=WzAsMTcsWzAsNCwiXFx0ZXh0e0p1dml4IGZpbGV9Il0sWzUsNCwiXFx0ZXh0e1NlcmlhbGlzZWQgKEFTVCl9Il0sWzksNCwiXFx0ZXh0e0Rlc3VnYXJlZH0iXSxbNSwzLCJcXGJ1bGxldCJdLFsyLDQsIlxcdGV4dHtBU1R9Il0sWzUsMiwiXFxidWxsZXQiXSxbNSwxLCJcXGJ1bGxldCJdLFs1LDAsIlxcYnVsbGV0Il0sWzgsMCwiXFxidWxsZXQiXSxbOSwwLCJcXGJ1bGxldCJdLFs5LDEsIlxcYnVsbGV0Il0sWzksMiwiXFxidWxsZXQiXSxbOSwzLCJcXGJ1bGxldCJdLFswLDAsIlxcYnVsbGV0Il0sWzEsMCwiXFxidWxsZXQiXSxbMCwxLCJcXGJ1bGxldCJdLFsxLDEsIlxcYnVsbGV0Il0sWzEsMiwiZGVzdWdhciIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFsxLDMsIm1vZHVsZSBcXHRvIGZ1biIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs0LDEsInNlcmlhbGlzZVxcIHRvXFwgUy1leHAiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMCw0LCJwYXJzZSIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFszLDUsImxldFxcdGV4dHstfW1vZCBcXHRvIGxldCIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs2LDcsImlmIFxccmlnaHRhcnJvdyBjYXNlIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzcsOCwibGV0IFxcdG8gbGV0XFx0ZXh0ey19bWF0Y2giLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOSwxMCwiZGVmXFx0ZXh0ey19c2lnICsgZGVmdW5cXHRleHR7LX1tYXRjaCBcXHRvIGRlc2lnXFx0ZXh0ey19bWF0Y2ggICIsMix7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMCwxMSwicmVjb3JkIFxcdG8gcmVjb3JkXFx0ZXh0ey19bm9cXHRleHR7LX1wdW4iLDIseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOCw5LCJkZWZ1biAgXFx0byBkZWZ1blxcdGV4dHstfW1hdGNoIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzUsNiwiY29uZCBcXHRvIGlmIiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzExLDEyLCJkZWZIYW5kbGVyIFxcdG8gZGVmXFx0ZXh0ey19aGFuZGxlciIsMix7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMywxNCwibWFpblxcIHN0ZXAiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMTUsMTYsInNlY29uZGFyeVxcIHN0ZXAiLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMTIsMiwiXFx0ZXh0aXR7cmVjb3JkLXN9IFxccmlnaHRhcnJvdyBcXHRleHRpdHtyZWNvcmQtdHl9IiwyLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV1d&embed" width="100%" height="300" style="border-radius: 8px; border: none;"></iframe>
 
 ```haskell
   op :: [Sexp.T] -> [Sexp.T]

diff --git a/...ontend/features/automatic-proof-search.md → ...ontend/features/automatic-proof-search.md b/...ontend/features/automatic-proof-search.md → ...ontend/features/automatic-proof-search.md
diff --git a/docs/source/frontend/features/datatypes.md → ...e/compiler/frontend/features/datatypes.md b/docs/source/frontend/features/datatypes.md → ...e/compiler/frontend/features/datatypes.md
diff --git a/...nd/features/dependent-pattern-matching.md → ...nd/features/dependent-pattern-matching.md b/...nd/features/dependent-pattern-matching.md → ...nd/features/dependent-pattern-matching.md
diff --git a/docs/source/frontend/features/do-notation.md → ...compiler/frontend/features/do-notation.md b/docs/source/frontend/features/do-notation.md → ...compiler/frontend/features/do-notation.md
diff --git a/docs/source/frontend/features/holes.md → ...ource/compiler/frontend/features/holes.md b/docs/source/frontend/features/holes.md → ...ource/compiler/frontend/features/holes.md
diff --git a/...e/frontend/features/implicit-arguments.md → ...r/frontend/features/implicit-arguments.md b/...e/frontend/features/implicit-arguments.md → ...r/frontend/features/implicit-arguments.md
diff --git a/docs/source/frontend/features/index.md → ...ource/compiler/frontend/features/index.md b/docs/source/frontend/features/index.md → ...ource/compiler/frontend/features/index.md
diff --git a/docs/source/frontend/features/modules.md → ...rce/compiler/frontend/features/modules.md b/docs/source/frontend/features/modules.md → ...rce/compiler/frontend/features/modules.md
diff --git a/.../source/frontend/features/record-types.md → ...ompiler/frontend/features/record-types.md b/.../source/frontend/features/record-types.md → ...ompiler/frontend/features/record-types.md
diff --git a/...ource/frontend/features/type-inference.md → ...piler/frontend/features/type-inference.md b/...ource/frontend/features/type-inference.md → ...piler/frontend/features/type-inference.md
diff --git a/docs/source/frontend/features/typeclasses.md → ...compiler/frontend/features/typeclasses.md b/docs/source/frontend/features/typeclasses.md → ...compiler/frontend/features/typeclasses.md
diff --git a/...urce/frontend/features/usage-inference.md → ...iler/frontend/features/usage-inference.md b/...urce/frontend/features/usage-inference.md → ...iler/frontend/features/usage-inference.md
diff --git a/docs/source/frontend/features/usages.md → ...ource/compiler/frontend/features/usage.md b/docs/source/frontend/features/usages.md → ...ource/compiler/frontend/features/usage.md
diff --git a/docs/source/frontend/img/desugar.png → .../source/compiler/frontend/img/desugar.png b/docs/source/frontend/img/desugar.png → .../source/compiler/frontend/img/desugar.png
diff --git a/docs/source/frontend/index.md → docs/source/compiler/frontend/index.md b/docs/source/frontend/index.md → docs/source/compiler/frontend/index.md
diff --git a/docs/source/frontend/s-expression-syntax.md → .../compiler/frontend/s-expression-syntax.md b/docs/source/frontend/s-expression-syntax.md → .../compiler/frontend/s-expression-syntax.md
diff --git a/docs/source/compiler/index.md b/docs/source/compiler/index.md
@@ -0,0 +1,68 @@
+# Compiler
+
+
+<!-- https://q.uiver.app/?q=WzAsMTksWzAsMCwiXFx0ZXh0e0p1dml4IGZpbGV9Il0sWzIsNSwiXFx0ZXh0e0NvcmV9Il0sWzMsNywiXFx0ZXh0e0NvcmV9Il0sWzEsNywiXFx0ZXh0e0V2YWx9Il0sWzEsOSwiXFx0ZXh0e0xMVk0gfCBNaWNoZWxzb24gfCBQbG9ua30iXSxbMiwwLCJcXHRleHR7QVNUfSJdLFs4LDAsIlxcdGV4dHtEZXN1Z2FyZWR9Il0sWzgsMSwiXFxidWxsZXQiXSxbOCwyLCJcXGJ1bGxldCJdLFs4LDMsIlxcYnVsbGV0Il0sWzgsNCwiXFxidWxsZXQiXSxbOCw1LCJcXGJ1bGxldCJdLFs3LDUsIlxcYnVsbGV0Il0sWzUsNSwiXFxidWxsZXQiXSxbNCw1LCJcXGJ1bGxldCJdLFs3LDcsIlxcYnVsbGV0Il0sWzgsNywiXFxidWxsZXQiXSxbNyw4LCJcXGJ1bGxldCJdLFs4LDgsIlxcYnVsbGV0Il0sWzAsNSwicGFyc2UiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbNiwxLCJlbGFib3JhdGUiLDEseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbNiw3LCJcXHRleHRpdHtjb250ZXh0aWZ5fSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs3LDgsIlxcdGV4dGl0e25hbWVkIHZhcmlhYmxlc30iLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOCw5LCJcXHRleHRpdHt0YWN0aWNzfSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs5LDEwLCJcXHRleHRpdHtwYXR0ZXJuIG1hdGNoaW5nfSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMCwxMSwiXFx0ZXh0aXR7aG9sZXN9IiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzExLDEyLCJcXHRleHRpdHtTY29wZSBjaGVja2luZ30iLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMTIsMTMsIlxcdGV4dGl0e3R5cGUgY2hlY2tpbmd9IiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzEsMCwiXFxtYXRoc2Z7ZGVzdGlsYXRpb259IiwxLHsiY29sb3VyIjpbMCwwLDUwXSwic3R5bGUiOnsiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn19fSxbMCwwLDUwLDFdXSxbMSwyLCJcXG1hdGhzZntDUFN9IiwxLHsiY3VydmUiOi0yLCJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMSwyLCJcXG1hdGhzZntBTkZ9IiwxLHsiY3VydmUiOjIsImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxNCwxLCJob2xlc1xcIHNvbHZlciIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxLDMsImVyYXNlIiwxLHsiY29sb3VyIjpbMjQwLDYwLDYwXX0sWzI0MCw2MCw2MCwxXV0sWzIsMywiZXJhc2UiLDEseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMyw0LCJjb21waWxlIiwxLHsiY29sb3VyIjpbMjQwLDYwLDYwXX0sWzI0MCw2MCw2MCwxXV0sWzE1LDE2LCJtYWluXFwgc3RlcCIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFsxNywxOCwic2Vjb25kYXJ5XFwgc3RlcCIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs1LDYsImRlc3VnYXIiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMTMsMTQsIlxcbWF0aHNme3VuaWZpY2F0aW9ufSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dXQ== -->
+<iframe class="quiver-embed" src="https://q.uiver.app/?q=WzAsMTksWzAsMCwiXFx0ZXh0e0p1dml4IGZpbGV9Il0sWzIsNSwiXFx0ZXh0e0NvcmV9Il0sWzMsNywiXFx0ZXh0e0NvcmV9Il0sWzEsNywiXFx0ZXh0e0V2YWx9Il0sWzEsOSwiXFx0ZXh0e0xMVk0gfCBNaWNoZWxzb24gfCBQbG9ua30iXSxbMiwwLCJcXHRleHR7QVNUfSJdLFs4LDAsIlxcdGV4dHtEZXN1Z2FyZWR9Il0sWzgsMSwiXFxidWxsZXQiXSxbOCwyLCJcXGJ1bGxldCJdLFs4LDMsIlxcYnVsbGV0Il0sWzgsNCwiXFxidWxsZXQiXSxbOCw1LCJcXGJ1bGxldCJdLFs3LDUsIlxcYnVsbGV0Il0sWzUsNSwiXFxidWxsZXQiXSxbNCw1LCJcXGJ1bGxldCJdLFs3LDcsIlxcYnVsbGV0Il0sWzgsNywiXFxidWxsZXQiXSxbNyw4LCJcXGJ1bGxldCJdLFs4LDgsIlxcYnVsbGV0Il0sWzAsNSwicGFyc2UiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbNiwxLCJlbGFib3JhdGUiLDEseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbNiw3LCJcXHRleHRpdHtjb250ZXh0aWZ5fSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs3LDgsIlxcdGV4dGl0e25hbWVkIHZhcmlhYmxlc30iLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbOCw5LCJcXHRleHRpdHt0YWN0aWNzfSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs5LDEwLCJcXHRleHRpdHtwYXR0ZXJuIG1hdGNoaW5nfSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxMCwxMSwiXFx0ZXh0aXR7aG9sZXN9IiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzExLDEyLCJcXHRleHRpdHtTY29wZSBjaGVja2luZ30iLDAseyJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMTIsMTMsIlxcdGV4dGl0e3R5cGUgY2hlY2tpbmd9IiwwLHsiY29sb3VyIjpbMCwwLDUwXX0sWzAsMCw1MCwxXV0sWzEsMCwiXFxtYXRoc2Z7ZGVzdGlsYXRpb259IiwxLHsiY29sb3VyIjpbMCwwLDUwXSwic3R5bGUiOnsiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn19fSxbMCwwLDUwLDFdXSxbMSwyLCJcXG1hdGhzZntDUFN9IiwxLHsiY3VydmUiOi0yLCJjb2xvdXIiOlswLDAsNTBdfSxbMCwwLDUwLDFdXSxbMSwyLCJcXG1hdGhzZntBTkZ9IiwxLHsiY3VydmUiOjIsImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxNCwxLCJob2xlc1xcIHNvbHZlciIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFsxLDMsImVyYXNlIiwxLHsiY29sb3VyIjpbMjQwLDYwLDYwXX0sWzI0MCw2MCw2MCwxXV0sWzIsMywiZXJhc2UiLDEseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMyw0LCJjb21waWxlIiwxLHsiY29sb3VyIjpbMjQwLDYwLDYwXX0sWzI0MCw2MCw2MCwxXV0sWzE1LDE2LCJtYWluXFwgc3RlcCIsMCx7ImNvbG91ciI6WzI0MCw2MCw2MF19LFsyNDAsNjAsNjAsMV1dLFsxNywxOCwic2Vjb25kYXJ5XFwgc3RlcCIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dLFs1LDYsImRlc3VnYXIiLDAseyJjb2xvdXIiOlsyNDAsNjAsNjBdfSxbMjQwLDYwLDYwLDFdXSxbMTMsMTQsIlxcbWF0aHNme3VuaWZpY2F0aW9ufSIsMCx7ImNvbG91ciI6WzAsMCw1MF19LFswLDAsNTAsMV1dXQ==&embed" width="100%" height="500" style="border-radius: 8px; border: none;"></iframe>
+
+-----------
+
+- [Frontend](./frontend/index.md)
+
+
+  - **Parse**:
+      Break up Juvix syntax into an AST
+
+  - **Desugar**:
+      Translate structure to compiler-friendly terms
+      - *Serialise*:
+      Convert AST to S-expression
+      - *Desugar S-Expressions*:
+      Strip away high-level constructs from the source (see [s-expression syntax](./frontend/s-expression-syntax))
+      - *Deserialise*"
+      Convert S-expression back to AST
+
+- [Core](./core/index.md)
+  - **Elaboration** 
+      - **Contextify** 
+        - *Resolve Open*"
+      Construct a map of terms to the modules where they were defined
+        - *Resolve Open In*
+
+        - *Qualify Names*"
+      Replace term names with their qualified names
+
+        - *Resolve Infix*:
+      Shunting-yard algorithm. Needs context for infixivity
+
+        - *Lookup Record Fields*
+
+      - Implicit arguments
+      - Named variables
+      - Tactics
+      - Pattern matching for function declaration
+      - Holes
+      - Scope checking
+      - Type checking
+      - Unification
+      - $\beta \eta$ - conversion checking
+      - Holes solver
+
+- [Backends](backends/index.md)
+
+  - LLVM
+  - Michelson
+  - Plonk
+
+----------
+
+```{toctree}
+---
+maxdepth: 1
+---
+
+frontend/index
+core/index
+backends/index
+```
+
+----------
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -119,6 +119,7 @@
 \usepackage[T1]{fontenc}
 \usepackage[utf8x]{inputenc}
 \usepackage{titlesec}
+\usepackage{tikz}
 %
 \usepackage{fancyhdr}
 \fancypagestyle{plain}{%

diff --git a/docs/source/index.md b/docs/source/index.md
@@ -24,9 +24,8 @@ maxdepth: 1
 
 getting-started/index
 preliminaries/index
-frontend/index
-core/index
-backends/index
+overview
+compiler/index
 distributed-ledger-integration
 examples/index
 future-work/index