employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

design/tpl: _-notation clarification (wildcard/hole)

master
Mike Gerwitz 2021-05-11 12:47:28 -04:00
parent 13317aac6c
commit 2407af56e4
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
design/tpl/sec/notation.tex
View File

@ -253,7 +253,10 @@ For example,
\indexsym{\_}{variable, wildcard}
\index{variable!wildcard/hole (\ensuremath{\_})}
The symbol~$\_$ is used to denote a variable that is never referenced.
The symbol~$\_$ is used to denote a variable that matches anything but is
never referenced,
and is often referred to as a ``wildcard'' (since it matches anything)
or a ``hole'' (since its value goes nowhere).
\indexsym{\bicompi{R}}{function, binary composition, recursive}
\index{function!binary composition (\ensuremath{\bicomp{R}})!recursive (\ensuremath{\bicompi{R}})}