Content deleted Content added
Line 26:
Some functions have a ''unit'' value, such as 0 for ''addition'' and 1 for ''multiplication''. The functional '''unit''' produces such a '''value''' when applied to a '''function f''' that has one:
'''unit +''' = 0
'''unit ×''' = 1
'''unit foo''' = ⊥
|