From d460a57b358296eb547d3b63e341b71523e09353 Mon Sep 17 00:00:00 2001 From: Stefan Krah Date: Wed, 10 Jan 2018 19:48:46 +0100 Subject: [PATCH] Some minor doc changes. --- doc/libndtypes/conf.py | 2 +- doc/libndtypes/index.rst | 4 ++-- doc/ndtypes/conf.py | 2 +- doc/ndtypes/index.rst | 1 + 4 files changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/libndtypes/conf.py b/doc/libndtypes/conf.py index 345af74..636f9ba 100644 --- a/doc/libndtypes/conf.py +++ b/doc/libndtypes/conf.py @@ -22,7 +22,7 @@ html_domain_indices = False html_use_index = False html_show_sourcelink = False -html_add_permalinks = None +# html_add_permalinks = None html_copy_source = False def setup(app): diff --git a/doc/libndtypes/index.rst b/doc/libndtypes/index.rst index 645669f..e39c308 100644 --- a/doc/libndtypes/index.rst +++ b/doc/libndtypes/index.rst @@ -11,14 +11,14 @@ libndtypes libndtypes implements the type part of a compiler frontend. It can describe C types needed for array computing and additionally includes symbolic types -for the purposes of pattern matching. +for dynamic type checking. libndtypes has the concept of abstract and concrete types. Concrete types contain the exact data layout and all sizes that are required to access subtypes or individual elements in memory. -Abstract types are for pattern matching and include functions, symbolic +Abstract types are for type checking and include functions, symbolic dimensions and type variables. Module support is planned at a later stage. diff --git a/doc/ndtypes/conf.py b/doc/ndtypes/conf.py index 73beb1d..1584b0c 100644 --- a/doc/ndtypes/conf.py +++ b/doc/ndtypes/conf.py @@ -22,7 +22,7 @@ html_domain_indices = False html_use_index = False html_show_sourcelink = False -html_add_permalinks = None +# html_add_permalinks = None html_copy_source = False def setup(app): diff --git a/doc/ndtypes/index.rst b/doc/ndtypes/index.rst index 6c076d1..5074dc6 100644 --- a/doc/ndtypes/index.rst +++ b/doc/ndtypes/index.rst @@ -18,3 +18,4 @@ ndtypes is a Python module based on libndtypes. quickstart.rst types.rst pattern-matching.rst + buffer-protocol.rst