diff options
Diffstat (limited to 'doc/lib.txt')
| -rw-r--r-- | doc/lib.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/lib.txt b/doc/lib.txt index 3dc58eebf..4fa49095c 100644 --- a/doc/lib.txt +++ b/doc/lib.txt @@ -374,6 +374,9 @@ Miscellaneous * `logging <logging.html>`_ This module implements a simple logger. +* `options <options.html>`_ + Types which encapsulate an optional value. + * `future <future.html>`_ This module implements new experimental features. Currently the syntax sugar for anonymous procedures. |