diff options
Diffstat (limited to 'docs/doc/index.html')
| -rw-r--r-- | docs/doc/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/doc/index.html b/docs/doc/index.html index d54d5247..758a9696 100644 --- a/docs/doc/index.html +++ b/docs/doc/index.html @@ -5,6 +5,8 @@ <p>Overview:</p> <ul> <li><a href="syntax.html">Syntax</a></li> +<li><a href="types.html">Types</a></li> +<li><a href="primitive.html">Primitives</a></li> </ul> <p>Concepts:</p> <ul> |