diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ref/general/lens.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ref/general/lens.texi b/doc/ref/general/lens.texi index e59b5d72..a07dd7c9 100644 --- a/doc/ref/general/lens.texi +++ b/doc/ref/general/lens.texi @@ -3,6 +3,8 @@ Provided by the module @code{(hnh util lens)} +@c TODO write an actuall introduction here + @defun modify object lens f args ... @end defun |