diff options
Diffstat (limited to 'doc/docs.txt')
-rwxr-xr-x | doc/docs.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/docs.txt b/doc/docs.txt index 42294ea1c..14bdd64b2 100755 --- a/doc/docs.txt +++ b/doc/docs.txt @@ -30,6 +30,10 @@ The documentation consists of several documents: | The Nimrod compiler supports source code filters as a simple yet powerful builtin templating system. +- | `Term rewriting macros <trmacros.html>`_ + | Term rewriting macros enhance the compilation process with user defined + optimizations. + - | `Internal documentation <intern.html>`_ | The internal documentation describes how the compiler is implemented. Read this if you want to hack the compiler. |