diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/propspecs.rst | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/doc/propspecs.rst b/doc/propspecs.rst index b3d4d39..8d915b5 100644 --- a/doc/propspecs.rst +++ b/doc/propspecs.rst @@ -26,12 +26,13 @@ Definitions An *atomic property application* ("propapp") is a list satisfying the lambda list ``(PROPERTY &rest ARGS)`` where ``PROPERTY`` is a symbol naming a -property and ``ARGS`` satisfies that property's lambda list. A *property -combinator* is a function which takes at least one propapp as one of its -arguments and returns a single propapp, or a macro which takes at least -propapp as one of its arguments and returns an expression which yields a -single propapp (in the return values of property combinators, often -``PROPERTY`` will be a gensym). A *property application specification* is +property and ``ARGS`` satisfies that property's lambda list, or the empty +list, which means a no-op property. A *property combinator* is a function +which takes at least one propapp as one of its arguments and returns a single +propapp, or a macro which takes at least propapp as one of its arguments and +returns an expression which yields a single propapp (in the return values of +property combinators, often ``PROPERTY`` will be a gensym). A *property +application specification* is i. a readably printable Lisp expression, **P**, known as a *property application specification expression*, which contains |