diff --git a/src/appendix/appendix.md b/src/appendix/appendix.md index dd39acc..cf1996b 100644 --- a/src/appendix/appendix.md +++ b/src/appendix/appendix.md @@ -8,5 +8,5 @@ Here are the appendices included in this book: |----------|-------------| | [A - Language Reference](../appendix/a-language-reference.md) | A quick reference guide to Inference keywords, data types, and operators. | | [B - Language Specification](../appendix/b-language-specification.md) | A link to the official Inference programming language specification. | -| [C - Inference Compiler](../appendix/c-inference-compiler.md) | Information about the official Inference compiler. | +| [C - Inference Compiler](../appendix/c-inference-compiler.md) | Information about the official Inference compiler, with a link to the Inference Compiler Book. | | [D - infs CLI Reference](../appendix/d-infs-reference.md) | Reference for the `infs` toolchain manager commands. | diff --git a/src/appendix/c-inference-compiler.md b/src/appendix/c-inference-compiler.md index f64d2d8..7fe40f6 100644 --- a/src/appendix/c-inference-compiler.md +++ b/src/appendix/c-inference-compiler.md @@ -5,3 +5,5 @@ `infs` is the unified CLI that wraps `infc` with project management, toolchain installation, and build/run commands. See [Appendix D](./d-infs-reference.md) for the full `infs` reference. Both tools are open source and available in the [`inference`](https://github.com/Inferara/inference) GitHub repository. Refer there for the latest releases, discussions, and feature or bug tracking. + +For a deep dive into how the compiler is built — the parser, static-analysis rules, WASM codegen, the memory model, the linker, and the `infs` project model — see [The Inference Compiler Book](https://inference-lang.org/compiler-book/), a set of design and implementation notes for the toolchain.