Content deleted Content added
Line 24:
'''f''':'''⊥''' = '''⊥'''
Some functions have a
'''unit +''' = 0
'''unit ×''' = 1
'''unit foo''' = ⊥
==Functionals==
|
Line 24:
'''f''':'''⊥''' = '''⊥'''
Some functions have a
'''unit +''' = 0
'''unit ×''' = 1
'''unit foo''' = ⊥
==Functionals==
|